diff Makefile @ 173:7fd470d8a788

System F
author Adam Chlipala <adamc@hcoop.net>
date Sun, 09 Nov 2008 15:15:41 -0500
parents f8353e2a21d6
children 022feabdff50
line wrap: on
line diff
--- a/Makefile	Sun Nov 09 14:24:31 2008 -0500
+++ b/Makefile	Sun Nov 09 15:15:41 2008 -0500
@@ -1,4 +1,4 @@
-MODULES_NODOC := Axioms Tactics MoreSpecif DepList
+MODULES_NODOC := Axioms AxiomsImpred Tactics MoreSpecif DepList
 MODULES_PROSE := Intro
 MODULES_CODE  := StackMachine InductiveTypes Predicates Coinductive Subset \
 	MoreDep DataStruct Equality Match Reflection Firstorder Hoas Interps
@@ -16,7 +16,7 @@
 
 Makefile.coq: Makefile $(VS)
 	coq_makefile $(VS) \
-		COQC = "coqc -I src -dump-glob $(GLOBALS)" \
+		COQC = "coqc -impredicative-set -I src -dump-glob $(GLOBALS)" \
 		COQDEP = "coqdep -I src" \
 		-o Makefile.coq