Mercurial > cpdt > repo

comparison Makefile @ 39:fd18331e5c0b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Publishing to the web
author Adam Chlipala <adamc@hcoop.net>
date Fri, 12 Sep 2008 17:18:11 -0400
parents 65314ca099ed
children d45ba7e9b266
comparison
equal deleted inserted replaced
38:95e24b629ad9 39:fd18331e5c0b
6 VS := $(MODULES:%=src/%.v) 6 VS := $(MODULES:%=src/%.v)
7 VS_DOC := $(MODULES_DOC:%=%.v) 7 VS_DOC := $(MODULES_DOC:%=%.v)
8 GLOBALS := .coq_globals 8 GLOBALS := .coq_globals
9 TEMPLATES := $(MODULES_CODE:%=templates/%.v) 9 TEMPLATES := $(MODULES_CODE:%=templates/%.v)
10 10
11 .PHONY: coq clean doc dvi html templates 11 .PHONY: coq clean doc dvi html templates install
12 12
13 coq: Makefile.coq 13 coq: Makefile.coq
14 make -f Makefile.coq 14 make -f Makefile.coq
15 15
16 Makefile.coq: Makefile $(VS) 16 Makefile.coq: Makefile $(VS)
38 cd latex ; latex cpdt ; latex cpdt 38 cd latex ; latex cpdt ; latex cpdt
39 39
40 latex/cpdt.pdf: latex/cpdt.dvi 40 latex/cpdt.pdf: latex/cpdt.dvi
41 cd latex ; pdflatex cpdt 41 cd latex ; pdflatex cpdt
42 42
43 html: Makefile $(VS) 43 html: Makefile $(VS) src/toc.html
44 cd src ; coqdoc $(VS_DOC) -toc \ 44 cd src ; coqdoc $(VS_DOC) \
45 --glob-from ../$(GLOBALS) \ 45 --glob-from ../$(GLOBALS) \
46 -d ../html 46 -d ../html
47 cp src/toc.html html/
47 48
48 dvi: 49 dvi:
49 xdvi latex/cpdt 50 xdvi latex/cpdt
50 51
51 templates: $(TEMPLATES) 52 templates: $(TEMPLATES)
52 53
53 templates/%.v: src/%.v 54 templates/%.v: src/%.v
54 ocaml tools/make_template.ml <$< >$@ 55 ocaml tools/make_template.ml <$< >$@
56
57 cpdt.tgz:
58 hg archive -t tgz $@
59
60 install: cpdt.tgz latex/cpdt.pdf html
61 cp cpdt.tgz staging/
62 cp latex/cpdt.pdf staging/
63 cp -R html staging/
64 rsync -az --exclude '*~' staging/* ssh.hcoop.net:sites/chlipala/adam/cpdt/