### annotate Makefile @ 538:d53c077a630c

Make exercises build again
author Adam Chlipala Wed, 05 Aug 2015 18:19:59 -0400 d65e9c1c9041 306539f29eea
rev   line source
adam@314 1 MODULES_NODOC := CpdtTactics MoreSpecif DepList
adam@353 3 MODULES_CODE := StackMachine InductiveTypes Predicates Coinductive Subset GeneralRec \
adam@324 4 MoreDep DataStruct Equality Generic Universes LogicProg Match Reflection \
adam@383 6 MODULES_DOC := \$(MODULES_PROSE) \$(MODULES_CODE) Conclusion
adamc@3 7 MODULES := \$(MODULES_NODOC) \$(MODULES_DOC)
adam@307 13 .PHONY: coq clean doc html templates install cpdt.tgz pdf
adam@534 20 COQC = "coqc -R src Cpdt" \
adam@534 21 COQDEP = "coqdep -R src Cpdt" \
adam@305 25 \$(MAKE) -f Makefile.coq clean
adam@311 26 rm -f Makefile.coq .depend cpdt.tgz templates/*.v
adam@320 27 cd latex; rm -f *.sty *.log *.aux *.dvi *.v.tex *.toc *.bbl *.blg *.idx *.ilg *.pdf *.ind *.out
adam@536 31 COQDOC = coqdoc -R . Cpdt
adam@311 33 latex/%.v.tex: Makefile src/%.v src/%.glob
adam@536 34 cd src ; \$(COQDOC) --interpolate --latex --body-only -s \
adam@311 37 latex/cpdt.pdf: latex/cpdt.tex \$(TEX) latex/cpdt.bib
adam@311 38 cd latex ; pdflatex cpdt ; pdflatex cpdt ; bibtex cpdt ; makeindex cpdt ; pdflatex cpdt ; pdflatex cpdt
adam@306 41 cd latex ; pdflatex \$* ; pdflatex \$* ; bibtex \$* ; makeindex \$* ; pdflatex \$* ; pdflatex \$*
adamc@39 43 html: Makefile \$(VS) src/toc.html
adam@536 45 cd src ; \$(COQDOC) --interpolate --no-externals \$(VS_DOC) \
adamc@22 52 ocaml tools/make_template.ml <\$< >\$@
adamc@39 55 hg archive -t tgz \$@
adam@517 63 tar zcf cpdtlib.tgz cpdtlib/*
adam@517 65 install: cpdt.tgz cpdtlib.tgz latex/cpdt.pdf latex/exercises.pdf html