Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
doc-src/IsarRef/IsaMakefile
author Walther Neuper <neuper@ist.tugraz.at>
Thu, 12 Aug 2010 15:03:34 +0200
branchisac-from-Isabelle2009-2
changeset 37913 20e3616b2d9c
parent 30458 804de935c328
child 42585 eb5900951702
permissions -rw-r--r--
prepare reactivation of isac-update-Isa09-2 
     1 

     2 ## targets

     3 

     4 default: HOL-IsarRef HOLCF-IsarRef ZF-IsarRef

     5 images: 

     6 test: HOL-IsarRef HOLCF-IsarRef ZF-IsarRef

     7 

     8 all: images test

     9 

    10 

    11 ## global settings

    12 

    13 SRC = $(ISABELLE_HOME)/src

    14 OUT = $(ISABELLE_OUTPUT)

    15 LOG = $(OUT)/log

    16 

    17 USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document

    18 

    19 

    20 ## sessions

    21 

    22 HOL-IsarRef: $(LOG)/HOL-IsarRef.gz

    23 

    24 $(LOG)/HOL-IsarRef.gz: Thy/ROOT.ML ../antiquote_setup.ML		\

    25   Thy/First_Order_Logic.thy Thy/Framework.thy Thy/Inner_Syntax.thy	\

    26   Thy/Introduction.thy Thy/Outer_Syntax.thy Thy/Spec.thy Thy/Proof.thy	\

    27   Thy/Misc.thy Thy/Document_Preparation.thy Thy/Generic.thy		\

    28   Thy/HOL_Specific.thy Thy/Quick_Reference.thy Thy/Symbols.thy		\

    29   Thy/ML_Tactic.thy

    30 	@$(USEDIR) -s IsarRef HOL Thy

    31 	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \

    32 	 Thy/document/pdfsetup.sty Thy/document/session.tex

    33 

    34 

    35 HOLCF-IsarRef: $(LOG)/HOLCF-IsarRef.gz

    36 

    37 $(LOG)/HOLCF-IsarRef.gz: Thy/ROOT-HOLCF.ML ../antiquote_setup.ML	\

    38   Thy/HOLCF_Specific.thy

    39 	@$(USEDIR) -s IsarRef -f ROOT-HOLCF.ML HOLCF Thy

    40 	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \

    41 	 Thy/document/pdfsetup.sty Thy/document/session.tex

    42 

    43 

    44 ZF-IsarRef: $(LOG)/ZF-IsarRef.gz

    45 

    46 $(LOG)/ZF-IsarRef.gz: Thy/ROOT-ZF.ML ../antiquote_setup.ML 		\

    47   Thy/ZF_Specific.thy

    48 	@$(USEDIR) -s IsarRef -f ROOT-ZF.ML ZF Thy

    49 	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \

    50 	 Thy/document/pdfsetup.sty Thy/document/session.tex

    51 

    52 

    53 ## clean

    54 

    55 clean:

    56 	@rm -f $(LOG)/HOL-IsarRef.gz $(LOG)/HOLCF-IsarRef.gz $(LOG)/ZF-IsarRef.gz
wneuper/isa