Mercurial > cpdt > repo
comparison Makefile @ 173:7fd470d8a788
System F
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 09 Nov 2008 15:15:41 -0500 |
parents | f8353e2a21d6 |
children | 022feabdff50 |
comparison
equal
deleted
inserted
replaced
172:653c03f6061e | 173:7fd470d8a788 |
---|---|
1 MODULES_NODOC := Axioms Tactics MoreSpecif DepList | 1 MODULES_NODOC := Axioms AxiomsImpred Tactics MoreSpecif DepList |
2 MODULES_PROSE := Intro | 2 MODULES_PROSE := Intro |
3 MODULES_CODE := StackMachine InductiveTypes Predicates Coinductive Subset \ | 3 MODULES_CODE := StackMachine InductiveTypes Predicates Coinductive Subset \ |
4 MoreDep DataStruct Equality Match Reflection Firstorder Hoas Interps | 4 MoreDep DataStruct Equality Match Reflection Firstorder Hoas Interps |
5 MODULES_DOC := $(MODULES_PROSE) $(MODULES_CODE) | 5 MODULES_DOC := $(MODULES_PROSE) $(MODULES_CODE) |
6 MODULES := $(MODULES_NODOC) $(MODULES_DOC) | 6 MODULES := $(MODULES_NODOC) $(MODULES_DOC) |
14 coq: Makefile.coq | 14 coq: Makefile.coq |
15 make -f Makefile.coq | 15 make -f Makefile.coq |
16 | 16 |
17 Makefile.coq: Makefile $(VS) | 17 Makefile.coq: Makefile $(VS) |
18 coq_makefile $(VS) \ | 18 coq_makefile $(VS) \ |
19 COQC = "coqc -I src -dump-glob $(GLOBALS)" \ | 19 COQC = "coqc -impredicative-set -I src -dump-glob $(GLOBALS)" \ |
20 COQDEP = "coqdep -I src" \ | 20 COQDEP = "coqdep -I src" \ |
21 -o Makefile.coq | 21 -o Makefile.coq |
22 | 22 |
23 clean:: Makefile.coq | 23 clean:: Makefile.coq |
24 make -f Makefile.coq clean | 24 make -f Makefile.coq clean |