Mercurial > cpdt > repo

comparison 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
comparison
equal deleted inserted replaced
203:71ade09024ac 204:cbf2f74a5130
1 MODULES_NODOC := Axioms AxiomsImpred Tactics MoreSpecif DepList 1 MODULES_NODOC := Axioms 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 Extensional Intensional Impure Generic 5 Extensional Intensional Impure Generic
6 MODULES_DOC := $(MODULES_PROSE) $(MODULES_CODE) 6 MODULES_DOC := $(MODULES_PROSE) $(MODULES_CODE)
15 coq: Makefile.coq 15 coq: Makefile.coq
16 make -f Makefile.coq 16 make -f Makefile.coq
17 17
18 Makefile.coq: Makefile $(VS) 18 Makefile.coq: Makefile $(VS)
19 coq_makefile $(VS) \ 19 coq_makefile $(VS) \
20 COQC = "coqc -impredicative-set -I src -dump-glob $(GLOBALS)" \ 20 COQC = "coqc -I src -dump-glob $(GLOBALS)" \
21 COQDEP = "coqdep -I src" \ 21 COQDEP = "coqdep -I src" \
22 -o Makefile.coq 22 -o Makefile.coq
23 23
24 clean:: Makefile.coq 24 clean:: Makefile.coq
25 make -f Makefile.coq clean 25 make -f Makefile.coq clean