Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Explicitly build HOLCF and ZF images. They are not part of the release any more.
authorkleing
Tue, 08 Feb 2011 18:39:36 +1100
changeset 41721 eb5900951702
parent 41720 f749155883d7
child 41722 9575694d2da5
Explicitly build HOLCF and ZF images. They are not part of the release any more.
doc-src/IsarRef/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/doc-src/IsarRef/IsaMakefile	Tue Feb 08 07:42:08 2011 +0100
+++ b/doc-src/IsarRef/IsaMakefile	Tue Feb 08 18:39:36 2011 +1100
@@ -31,8 +31,10 @@
 	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
 	 Thy/document/pdfsetup.sty Thy/document/session.tex
 
+HOLCF:
+	@cd $(SRC)/HOL; $(ISABELLE_TOOL) make HOLCF
 
-HOLCF-IsarRef: $(LOG)/HOLCF-IsarRef.gz
+HOLCF-IsarRef: HOLCF $(LOG)/HOLCF-IsarRef.gz
 
 $(LOG)/HOLCF-IsarRef.gz: Thy/ROOT-HOLCF.ML ../antiquote_setup.ML	\
   Thy/HOLCF_Specific.thy
@@ -40,8 +42,10 @@
 	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
 	 Thy/document/pdfsetup.sty Thy/document/session.tex
 
+ZF:
+	@cd $(SRC)/ZF; $(ISABELLE_TOOL) make ZF
 
-ZF-IsarRef: $(LOG)/ZF-IsarRef.gz
+ZF-IsarRef: ZF $(LOG)/ZF-IsarRef.gz
 
 $(LOG)/ZF-IsarRef.gz: Thy/ROOT-ZF.ML ../antiquote_setup.ML 		\
   Thy/ZF_Specific.thy
isabelle