comparison Makefile @ 89:939add5a7db9

Remove -impredicative-set
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Oct 2008 10:49:07 -0400
parents d992227e4814
children ec0fb0f00f46
comparison
equal deleted inserted replaced
88:cde1351d18bb 89:939add5a7db9
13 coq: Makefile.coq 13 coq: Makefile.coq
14 make -f Makefile.coq 14 make -f Makefile.coq
15 15
16 Makefile.coq: Makefile $(VS) 16 Makefile.coq: Makefile $(VS)
17 coq_makefile $(VS) \ 17 coq_makefile $(VS) \
18 COQC = "coqc -I src -impredicative-set \ 18 COQC = "coqc -I src -dump-glob $(GLOBALS)" \
19 -dump-glob $(GLOBALS)" \ 19 COQDEP = "coqdep -I src" \
20 -o Makefile.coq 20 -o Makefile.coq
21 21
22 clean:: Makefile.coq 22 clean:: Makefile.coq
23 make -f Makefile.coq clean 23 make -f Makefile.coq clean
24 rm -f Makefile.coq .depend $(GLOBALS) cpdt.tgz \ 24 rm -f Makefile.coq .depend $(GLOBALS) cpdt.tgz \