Mercurial > cpdt > repo
view book/Makefile @ 5:aa32e9f63da0
More of Intro
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Fri, 29 Aug 2008 17:20:57 -0400 |
parents | f913d32a49e4 |
children | 7ac7f922e78e |
line wrap: on
line source
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