Mercurial > cpdt > repo
comparison Makefile @ 215:f8bcd33bdd91
Port DataStruct
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Wed, 11 Nov 2009 14:00:04 -0500 |
parents | 768889c969e9 |
children | 6601384e7e14 |
comparison
equal
deleted
inserted
replaced
214:768889c969e9 | 215:f8bcd33bdd91 |
---|---|
5 Extensional Intensional Impure Generic | 5 Extensional Intensional Impure Generic |
6 MODULES_DOC := $(MODULES_PROSE) $(MODULES_CODE) | 6 MODULES_DOC := $(MODULES_PROSE) $(MODULES_CODE) |
7 MODULES := $(MODULES_NODOC) $(MODULES_DOC) | 7 MODULES := $(MODULES_NODOC) $(MODULES_DOC) |
8 VS := $(MODULES:%=src/%.v) | 8 VS := $(MODULES:%=src/%.v) |
9 VS_DOC := $(MODULES_DOC:%=%.v) | 9 VS_DOC := $(MODULES_DOC:%=%.v) |
10 GLOBALS := .coq_globals | |
11 TEMPLATES := $(MODULES_CODE:%=templates/%.v) | 10 TEMPLATES := $(MODULES_CODE:%=templates/%.v) |
12 | 11 |
13 .PHONY: coq clean doc dvi html templates install cpdt.tgz | 12 .PHONY: coq clean doc dvi html templates install cpdt.tgz |
14 | 13 |
15 coq: Makefile.coq | 14 coq: Makefile.coq |
16 make -f Makefile.coq | 15 make -f Makefile.coq |
17 | 16 |
18 Makefile.coq: Makefile $(VS) | 17 Makefile.coq: Makefile $(VS) |
19 coq_makefile $(VS) \ | 18 coq_makefile $(VS) \ |
20 COQC = "coqc -I src -dump-glob $(GLOBALS)" \ | 19 COQC = "coqc -I src" \ |
21 COQDEP = "coqdep -I src" \ | 20 COQDEP = "coqdep -I src" \ |
22 -o Makefile.coq | 21 -o Makefile.coq |
23 | 22 |
24 clean:: Makefile.coq | 23 clean:: Makefile.coq |
25 make -f Makefile.coq clean | 24 make -f Makefile.coq clean |
26 rm -f Makefile.coq .depend $(GLOBALS) cpdt.tgz \ | 25 rm -f Makefile.coq .depend cpdt.tgz \ |
27 latex/*.sty latex/cpdt.* templates/*.v | 26 latex/*.sty latex/cpdt.* templates/*.v |
28 rm -f *.aux *.dvi *.log | 27 rm -f *.aux *.dvi *.log |
29 | 28 |
30 doc: latex/cpdt.dvi latex/cpdt.pdf html | 29 doc: latex/cpdt.dvi latex/cpdt.pdf html |
31 | 30 |
49 cd latex ; pdflatex $* ; pdflatex $* | 48 cd latex ; pdflatex $* ; pdflatex $* |
50 | 49 |
51 html: Makefile $(VS) src/toc.html | 50 html: Makefile $(VS) src/toc.html |
52 mkdir -p html | 51 mkdir -p html |
53 cd src ; coqdoc --interpolate $(VS_DOC) \ | 52 cd src ; coqdoc --interpolate $(VS_DOC) \ |
54 --glob-from ../$(GLOBALS) \ | |
55 -d ../html | 53 -d ../html |
56 cp src/toc.html html/ | 54 cp src/toc.html html/ |
57 | 55 |
58 dvi: | 56 dvi: |
59 xdvi latex/cpdt | 57 xdvi latex/cpdt |