comparison book/Makefile @ 3:9fea5674367c

Pretty LaTeX generation
author Adam Chlipala <adamc@hcoop.net>
date Fri, 29 Aug 2008 14:24:38 -0400
parents b3f7de74d38f
children f913d32a49e4
comparison
equal deleted inserted replaced
2:b3f7de74d38f 3:9fea5674367c
1 MODULES := Tactics StackMachine 1 MODULES_NODOC := Tactics
2 VS := $(MODULES:%=%.v) 2 MODULES_DOC := StackMachine
3 GLOBALS := .coq_globals 3 MODULES := $(MODULES_NODOC) $(MODULES_DOC)
4 VS := $(MODULES:%=src/%.v)
5 VS_DOC := $(MODULES_DOC:%=%.v)
6 GLOBALS := .coq_globals
4 7
5 .PHONY: coq clean 8 .PHONY: coq clean doc
6 9
7 coq: Makefile.coq 10 coq: Makefile.coq
8 make -f Makefile.coq 11 make -f Makefile.coq
9 12
10 Makefile.coq: Makefile $(VS) 13 Makefile.coq: Makefile $(VS)
11 coq_makefile $(VS) \ 14 coq_makefile $(VS) \
12 COQC = "coqc -impredicative-set -dump-glob $(GLOBALS)" \ 15 COQC = "coqc -I src -impredicative-set \
16 -dump-glob $(GLOBALS)" \
13 -o Makefile.coq 17 -o Makefile.coq
14 18
15 clean:: Makefile.coq 19 clean:: Makefile.coq
16 make -f Makefile.coq clean 20 make -f Makefile.coq clean
17 rm -f Makefile.coq .depend 21 rm -f Makefile.coq .depend $(GLOBALS) \
22 latex/*.sty latex/cpdt.*
23
24 doc: latex/cpdt.dvi
25
26 latex/cpdt.tex: $(VS)
27 cd src ; coqdoc --latex $(VS_DOC) \
28 -o ../latex/cpdt.tex
29
30 latex/cpdt.dvi: latex/cpdt.tex
31 cd latex ; latex cpdt