Mercurial > cpdt > repo
comparison Makefile @ 305:690796f4690d
Further emphasize necessity and purpose of Set Implicit Arguments; tweak Makefile to support parallel builds
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 03 Aug 2011 10:34:53 -0400 |
parents | 7b38729be069 |
children | a419a60e5ff6 |
comparison
equal
deleted
inserted
replaced
304:f7ac1e0c0d60 | 305:690796f4690d |
---|---|
10 TEMPLATES := $(MODULES_CODE:%=templates/%.v) | 10 TEMPLATES := $(MODULES_CODE:%=templates/%.v) |
11 | 11 |
12 .PHONY: coq clean doc dvi html templates install cpdt.tgz | 12 .PHONY: coq clean doc dvi html templates install cpdt.tgz |
13 | 13 |
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" \ | 19 COQC = "coqc -I src" \ |
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 |
25 rm -f Makefile.coq .depend cpdt.tgz \ | 25 rm -f Makefile.coq .depend cpdt.tgz \ |
26 latex/*.sty latex/cpdt.* templates/*.v | 26 latex/*.sty latex/cpdt.* templates/*.v |
27 rm -f *.aux *.dvi *.log | 27 rm -f *.aux *.dvi *.log |
28 | 28 |
29 doc: latex/cpdt.dvi latex/cpdt.pdf html | 29 doc: latex/cpdt.dvi latex/cpdt.pdf html |