From b0262af94b62376527556d79b10c4f1de29a9565 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sun, 3 Apr 2011 04:09:12 +0000 Subject: [PATCH 1/1] Makefile: insist on native-compiled Coq --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 1.7.10.4