Mercurial > cpdt > repo

comparison book/Makefile @ 4:f913d32a49e4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of Intro
author Adam Chlipala <adamc@hcoop.net>
date Fri, 29 Aug 2008 16:41:49 -0400
parents 9fea5674367c
children aa32e9f63da0
comparison
equal deleted inserted replaced
3:9fea5674367c 4:f913d32a49e4
1 MODULES_NODOC := Tactics 1 MODULES_NODOC := Tactics
2 MODULES_DOC := StackMachine 2 MODULES_DOC := Intro StackMachine
3 MODULES := $(MODULES_NODOC) $(MODULES_DOC) 3 MODULES := $(MODULES_NODOC) $(MODULES_DOC)
4 VS := $(MODULES:%=src/%.v) 4 VS := $(MODULES:%=src/%.v)
5 VS_DOC := $(MODULES_DOC:%=%.v) 5 VS_DOC := $(MODULES_DOC:%=%.v)
6 GLOBALS := .coq_globals 6 GLOBALS := .coq_globals
7 7
8 .PHONY: coq clean doc 8 .PHONY: coq clean doc dvi html
9 9
10 coq: Makefile.coq 10 coq: Makefile.coq
11 make -f Makefile.coq 11 make -f Makefile.coq
12 12
13 Makefile.coq: Makefile $(VS) 13 Makefile.coq: Makefile $(VS)
19 clean:: Makefile.coq 19 clean:: Makefile.coq
20 make -f Makefile.coq clean 20 make -f Makefile.coq clean
21 rm -f Makefile.coq .depend $(GLOBALS) \ 21 rm -f Makefile.coq .depend $(GLOBALS) \
22 latex/*.sty latex/cpdt.* 22 latex/*.sty latex/cpdt.*
23 23
24 doc: latex/cpdt.dvi 24 doc: latex/cpdt.dvi html
25 25
26 latex/cpdt.tex: $(VS) 26 latex/cpdt.tex: $(VS)
27 cd src ; coqdoc --latex $(VS_DOC) \ 27 cd src ; coqdoc --latex $(VS_DOC) \
28 -p "\usepackage{url}" \
28 -o ../latex/cpdt.tex 29 -o ../latex/cpdt.tex
29 30
30 latex/cpdt.dvi: latex/cpdt.tex 31 latex/cpdt.dvi: latex/cpdt.tex
31 cd latex ; latex cpdt 32 cd latex ; latex cpdt
33
34 html: $(VS)
35 cd src ; coqdoc $(VS_DOC) \
36 --glob-from ../$(GLOBALS) \
37 -d ../html
38
39 dvi:
40 xdvi latex/cpdt