adam@297: MODULES_NODOC := Tactics MoreSpecif DepList adamc@24: MODULES_PROSE := Intro adamc@105: MODULES_CODE := StackMachine InductiveTypes Predicates Coinductive Subset \ adamc@227: MoreDep DataStruct Equality Generic Universes Match Reflection \ adamc@265: Large Firstorder DeBruijn Hoas Interps Extensional Intensional OpSem adamc@22: MODULES_DOC := $(MODULES_PROSE) $(MODULES_CODE) adamc@3: MODULES := $(MODULES_NODOC) $(MODULES_DOC) adamc@3: VS := $(MODULES:%=src/%.v) adamc@3: VS_DOC := $(MODULES_DOC:%=%.v) adamc@22: TEMPLATES := $(MODULES_CODE:%=templates/%.v) adamc@2: adam@306: .PHONY: coq clean doc html templates install cpdt.tgz adamc@2: adamc@2: coq: Makefile.coq adam@305: $(MAKE) -f Makefile.coq adamc@2: adamc@2: Makefile.coq: Makefile $(VS) adamc@2: coq_makefile $(VS) \ adamc@215: COQC = "coqc -I src" \ adamc@89: COQDEP = "coqdep -I src" \ adamc@2: -o Makefile.coq adamc@2: adamc@2: clean:: Makefile.coq adam@305: $(MAKE) -f Makefile.coq clean adamc@215: rm -f Makefile.coq .depend cpdt.tgz \ adamc@22: latex/*.sty latex/cpdt.* templates/*.v adam@306: rm -f *.aux *.log adamc@3: adam@306: doc: latex/cpdt.pdf html adamc@3: adam@306: latex/cpdt.tex: Makefile $(VS) src/BackMatter.v latex/cpdt.bib adam@306: cd src ; coqdoc --interpolate --latex -s $(VS_DOC) BackMatter.v \ adam@306: -p "\usepackage{url}" \ adamc@21: -p "\iffalse" \ adamc@3: -o ../latex/cpdt.tex adamc@3: adam@284: latex/%.tex: src/%.v src/%.glob adam@302: cd src ; coqdoc --interpolate --latex \ adam@306: -p "\usepackage{url}" \ adam@282: $*.v -o ../latex/$*.tex adamc@4: adam@306: latex/%.pdf: latex/%.tex latex/cpdt.bib adam@306: cd latex ; pdflatex $* ; pdflatex $* ; bibtex $* ; makeindex $* ; pdflatex $* ; pdflatex $* adamc@8: adamc@39: html: Makefile $(VS) src/toc.html adamc@205: mkdir -p html adamc@206: cd src ; coqdoc --interpolate $(VS_DOC) \ adamc@4: -d ../html adamc@39: cp src/toc.html html/ adamc@4: adamc@22: templates: $(TEMPLATES) adamc@22: adamc@41: templates/%.v: src/%.v tools/make_template.ml adamc@22: ocaml tools/make_template.ml <$< >$@ adamc@39: adamc@39: cpdt.tgz: adamc@39: hg archive -t tgz $@ adamc@39: adamc@39: install: cpdt.tgz latex/cpdt.pdf html adamc@39: cp cpdt.tgz staging/ adamc@39: cp latex/cpdt.pdf staging/ adamc@39: cp -R html staging/ adamc@226: rsync -az --exclude '*~' staging/* schizomaniac.net:sites/chlipala/adam/cpdt/