Mercurial > cpdt > repo
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