From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sun, 3 Apr 2011 04:09:12 +0000 (+0000)
Subject: Makefile: insist on native-compiled Coq
X-Git-Url: http://git.megacz.com/?p=coq-categories.git;a=commitdiff_plain;h=b0262af94b62376527556d79b10c4f1de29a9565;hp=0acb7427506809b45fade2fa7f16ad13d6df40b3

Makefile: insist on native-compiled Coq
---

diff --git a/Makefile b/Makefile
index cb64606..fc874c7 100644
--- a/Makefile
+++ b/Makefile
@@ -4,7 +4,7 @@ allfiles := $(coqfiles) $(shell find src -name \*.hs)
 
 default: $(allfiles)
 	make build/Makefile.coq
-	cd build; make OPT=-dont-load-proofs -f Makefile.coq Main.vo
+	cd build; make OPT="-opt -dont-load-proofs" -f Makefile.coq Main.vo
 
 build/Makefile.coq: $(coqfiles)
 	mkdir -p build