Mercurial > cpdt > repo

comparison Makefile @ 12:bcf375310f5f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Squash book into main directory
author Adam Chlipala <adamc@hcoop.net>
date Wed, 03 Sep 2008 13:30:05 -0400
parents book/Makefile@aa32e9f63da0
children ea400f692b07
comparison
equal deleted inserted replaced
6:b22369f7f0fe 12:bcf375310f5f
1 MODULES_NODOC := Tactics
2 MODULES_DOC := Intro StackMachine
3 MODULES := $(MODULES_NODOC) $(MODULES_DOC)
4 VS := $(MODULES:%=src/%.v)
5 VS_DOC := $(MODULES_DOC:%=%.v)
6 GLOBALS := .coq_globals
7
8 .PHONY: coq clean doc dvi html
9
10 coq: Makefile.coq
11 make -f Makefile.coq
12
13 Makefile.coq: Makefile $(VS)
14 coq_makefile $(VS) \
15 COQC = "coqc -I src -impredicative-set \
16 -dump-glob $(GLOBALS)" \
17 -o Makefile.coq
18
19 clean:: Makefile.coq
20 make -f Makefile.coq clean
21 rm -f Makefile.coq .depend $(GLOBALS) \
22 latex/*.sty latex/cpdt.*
23
24 doc: latex/cpdt.dvi html
25
26 latex/cpdt.tex: $(VS)
27 cd src ; coqdoc --latex $(VS_DOC) \
28 -p "\usepackage{url}" -toc \
29 -o ../latex/cpdt.tex
30
31 latex/cpdt.dvi: latex/cpdt.tex
32 cd latex ; latex cpdt ; latex cpdt
33
34 html: $(VS)
35 cd src ; coqdoc $(VS_DOC) -toc \
36 --glob-from ../$(GLOBALS) \
37 -d ../html
38
39 dvi:
40 xdvi latex/cpdt