Mercurial > cpdt > repo
diff Makefile @ 215:f8bcd33bdd91
Port DataStruct
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Wed, 11 Nov 2009 14:00:04 -0500 |
parents | 768889c969e9 |
children | 6601384e7e14 |
line wrap: on
line diff
--- a/Makefile Wed Nov 11 12:21:28 2009 -0500 +++ b/Makefile Wed Nov 11 14:00:04 2009 -0500 @@ -7,7 +7,6 @@ MODULES := $(MODULES_NODOC) $(MODULES_DOC) VS := $(MODULES:%=src/%.v) VS_DOC := $(MODULES_DOC:%=%.v) -GLOBALS := .coq_globals TEMPLATES := $(MODULES_CODE:%=templates/%.v) .PHONY: coq clean doc dvi html templates install cpdt.tgz @@ -17,13 +16,13 @@ Makefile.coq: Makefile $(VS) coq_makefile $(VS) \ - COQC = "coqc -I src -dump-glob $(GLOBALS)" \ + COQC = "coqc -I src" \ COQDEP = "coqdep -I src" \ -o Makefile.coq clean:: Makefile.coq make -f Makefile.coq clean - rm -f Makefile.coq .depend $(GLOBALS) cpdt.tgz \ + rm -f Makefile.coq .depend cpdt.tgz \ latex/*.sty latex/cpdt.* templates/*.v rm -f *.aux *.dvi *.log @@ -51,7 +50,6 @@ html: Makefile $(VS) src/toc.html mkdir -p html cd src ; coqdoc --interpolate $(VS_DOC) \ - --glob-from ../$(GLOBALS) \ -d ../html cp src/toc.html html/