annotate book/Makefile @ 7:6cc7a8fd4a8c

Why not Agda/Epigram?
author Adam Chlipala <adamc@hcoop.net>
date Mon, 01 Sep 2008 10:00:09 -0400
parents aa32e9f63da0
children 7ac7f922e78e
rev   line source
adamc@3 1 MODULES_NODOC := Tactics
adamc@4 2 MODULES_DOC := Intro StackMachine
adamc@3 3 MODULES := $(MODULES_NODOC) $(MODULES_DOC)
adamc@3 4 VS := $(MODULES:%=src/%.v)
adamc@3 5 VS_DOC := $(MODULES_DOC:%=%.v)
adamc@3 6 GLOBALS := .coq_globals
adamc@2 7
adamc@4 8 .PHONY: coq clean doc dvi html
adamc@2 9
adamc@2 10 coq: Makefile.coq
adamc@2 11 make -f Makefile.coq
adamc@2 12
adamc@2 13 Makefile.coq: Makefile $(VS)
adamc@2 14 coq_makefile $(VS) \
adamc@3 15 COQC = "coqc -I src -impredicative-set \
adamc@3 16 -dump-glob $(GLOBALS)" \
adamc@2 17 -o Makefile.coq
adamc@2 18
adamc@2 19 clean:: Makefile.coq
adamc@2 20 make -f Makefile.coq clean
adamc@3 21 rm -f Makefile.coq .depend $(GLOBALS) \
adamc@3 22 latex/*.sty latex/cpdt.*
adamc@3 23
adamc@4 24 doc: latex/cpdt.dvi html
adamc@3 25
adamc@3 26 latex/cpdt.tex: $(VS)
adamc@3 27 cd src ; coqdoc --latex $(VS_DOC) \
adamc@5 28 -p "\usepackage{url}" -toc \
adamc@3 29 -o ../latex/cpdt.tex
adamc@3 30
adamc@3 31 latex/cpdt.dvi: latex/cpdt.tex
adamc@5 32 cd latex ; latex cpdt ; latex cpdt
adamc@4 33
adamc@4 34 html: $(VS)
adamc@5 35 cd src ; coqdoc $(VS_DOC) -toc \
adamc@4 36 --glob-from ../$(GLOBALS) \
adamc@4 37 -d ../html
adamc@4 38
adamc@4 39 dvi:
adamc@4 40 xdvi latex/cpdt