Mercurial > cpdt > repo

diff Makefile @ 204:cbf2f74a5130

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parts I want to keep compile with 8.2
author Adam Chlipala <adamc@hcoop.net>
date Fri, 06 Nov 2009 10:52:43 -0500
parents a2b14ba218a7
children f05514cc6c0d
line wrap: on
line diff
--- a/Makefile	Sun Jan 04 08:18:59 2009 -0500
+++ b/Makefile	Fri Nov 06 10:52:43 2009 -0500
@@ -1,4 +1,4 @@
-MODULES_NODOC := Axioms AxiomsImpred Tactics MoreSpecif DepList
+MODULES_NODOC := Axioms Tactics MoreSpecif DepList
 MODULES_PROSE := Intro
 MODULES_CODE  := StackMachine InductiveTypes Predicates Coinductive Subset \
 	MoreDep DataStruct Equality Match Reflection Firstorder Hoas Interps \
@@ -17,7 +17,7 @@
 
 Makefile.coq: Makefile $(VS)
 	coq_makefile $(VS) \
-		COQC = "coqc -impredicative-set -I src -dump-glob $(GLOBALS)" \
+		COQC = "coqc -I src -dump-glob $(GLOBALS)" \
 		COQDEP = "coqdep -I src" \
 		-o Makefile.coq