Mercurial > cpdt > repo

comparison Makefile @ 305:690796f4690d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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