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 wenzelm
Tue, 18 Nov 2008 18:25:10 +0100
changeset 28838 d5db6dfcb34a
parent 28762 f5d79aeffd81
child 30042 b6266c4c68fe
child 30240 5b25fee0362c
permissions -rw-r--r--
moved table of standard Isabelle symbols to isar-ref manual; 
     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 ## IsarRef sessions

    21 

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

    23 

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

    25   Thy/Inner_Syntax.thy Thy/Introduction.thy Thy/Outer_Syntax.thy	\

    26   Thy/Spec.thy Thy/Proof.thy Thy/Misc.thy Thy/Document_Preparation.thy	\

    27   Thy/Generic.thy Thy/HOL_Specific.thy Thy/Quick_Reference.thy		\

    28   Thy/Symbols.thy Thy/ML_Tactic.thy

    29 	@$(USEDIR) -s IsarRef HOL Thy

    30 

    31 

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

    33 

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

    35   Thy/HOLCF_Specific.thy

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

    37 

    38 

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

    40 

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

    42   Thy/ZF_Specific.thy

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

    44 

    45 

    46 ## clean

    47 

    48 clean:

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