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