Mercurial > cpdt > repo
diff Makefile @ 12:bcf375310f5f
Squash book into main directory
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Wed, 03 Sep 2008 13:30:05 -0400 |
| parents | book/Makefile@aa32e9f63da0 |
| children | ea400f692b07 |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Makefile Wed Sep 03 13:30:05 2008 -0400 @@ -0,0 +1,40 @@ +MODULES_NODOC := Tactics +MODULES_DOC := Intro StackMachine +MODULES := $(MODULES_NODOC) $(MODULES_DOC) +VS := $(MODULES:%=src/%.v) +VS_DOC := $(MODULES_DOC:%=%.v) +GLOBALS := .coq_globals + +.PHONY: coq clean doc dvi html + +coq: Makefile.coq + make -f Makefile.coq + +Makefile.coq: Makefile $(VS) + coq_makefile $(VS) \ + COQC = "coqc -I src -impredicative-set \ + -dump-glob $(GLOBALS)" \ + -o Makefile.coq + +clean:: Makefile.coq + make -f Makefile.coq clean + rm -f Makefile.coq .depend $(GLOBALS) \ + latex/*.sty latex/cpdt.* + +doc: latex/cpdt.dvi html + +latex/cpdt.tex: $(VS) + cd src ; coqdoc --latex $(VS_DOC) \ + -p "\usepackage{url}" -toc \ + -o ../latex/cpdt.tex + +latex/cpdt.dvi: latex/cpdt.tex + cd latex ; latex cpdt ; latex cpdt + +html: $(VS) + cd src ; coqdoc $(VS_DOC) -toc \ + --glob-from ../$(GLOBALS) \ + -d ../html + +dvi: + xdvi latex/cpdt