Mercurial > cpdt > repo

comparison Makefile @ 311:4cb3ba8604bc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Pass through first half of StackMachine, along with some reorganization of the build process
author Adam Chlipala <adam@chlipala.net>
date Mon, 29 Aug 2011 15:31:06 -0400
parents d2cb78f54454
children d5787b70cf48
comparison
equal deleted inserted replaced
310:cf67b7d6ceac 311:4cb3ba8604bc
4 MoreDep DataStruct Equality Generic Universes Match Reflection \ 4 MoreDep DataStruct Equality Generic Universes Match Reflection \
5 Large Firstorder DeBruijn Hoas Interps Extensional Intensional OpSem 5 Large Firstorder DeBruijn Hoas Interps Extensional Intensional OpSem
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 TEX := $(MODULES:%=latex/%.v.tex)
9 VS_DOC := $(MODULES_DOC:%=%.v) 10 VS_DOC := $(MODULES_DOC:%=%.v)
10 TEMPLATES := $(MODULES_CODE:%=templates/%.v) 11 TEMPLATES := $(MODULES_CODE:%=templates/%.v)
11 12
12 .PHONY: coq clean doc html templates install cpdt.tgz pdf 13 .PHONY: coq clean doc html templates install cpdt.tgz pdf
13 14
20 COQDEP = "coqdep -I src" \ 21 COQDEP = "coqdep -I src" \
21 -o Makefile.coq 22 -o Makefile.coq
22 23
23 clean:: Makefile.coq 24 clean:: Makefile.coq
24 $(MAKE) -f Makefile.coq clean 25 $(MAKE) -f Makefile.coq clean
25 rm -f Makefile.coq .depend cpdt.tgz \ 26 rm -f Makefile.coq .depend cpdt.tgz templates/*.v
26 latex/*.sty latex/cpdt.* templates/*.v 27 cd latex; rm -f *.sty *.log *.aux *.dvi *.tex *.toc *.bbl *.blg *.idx *.ilg *.pdf *.ind *.out
27 rm -f *.aux *.log
28 28
29 doc: latex/cpdt.pdf html 29 doc: latex/cpdt.pdf html
30 30
31 latex/cpdt.tex: Makefile $(VS) src/BackMatter.v latex/cpdt.bib 31 latex/%.v.tex: Makefile src/%.v src/%.glob
32 cd src ; coqdoc --interpolate --latex -s $(VS_DOC) BackMatter.v \ 32 cd src ; coqdoc --interpolate --latex --body-only -s \
33 -p "\usepackage{url}" \ 33 $*.v -o ../latex/$*.v.tex
34 -p "\iffalse" \
35 -o ../latex/cpdt.tex
36 34
37 latex/%.tex: src/%.v src/%.glob 35 latex/cpdt.pdf: latex/cpdt.tex $(TEX) latex/cpdt.bib
38 cd src ; coqdoc --interpolate --latex \ 36 cd latex ; pdflatex cpdt ; pdflatex cpdt ; bibtex cpdt ; makeindex cpdt ; pdflatex cpdt ; pdflatex cpdt
39 -p "\usepackage{url}" \
40 $*.v -o ../latex/$*.tex
41 37
42 latex/%.pdf: latex/%.tex latex/cpdt.bib 38 latex/%.pdf: latex/%.tex latex/cpdt.bib
43 cd latex ; pdflatex $* ; pdflatex $* ; bibtex $* ; makeindex $* ; pdflatex $* ; pdflatex $* 39 cd latex ; pdflatex $* ; pdflatex $* ; bibtex $* ; makeindex $* ; pdflatex $* ; pdflatex $*
44 40
45 html: Makefile $(VS) src/toc.html 41 html: Makefile $(VS) src/toc.html