X-Git-Url: http://git.megacz.com/?p=coq-categories.git;a=blobdiff_plain;f=Makefile;h=fc874c75be2716af8bbaeb01beb47cb8a626ae6d;hp=cb646065ff67674340fed446ed39ab3da08c55a8;hb=20641452e40570b4bfc9429ca57b0cffca6eccfb;hpb=ff3003c261295c60d367580b6700396102eb5a9c

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