doc-src/IsarRef/IsaMakefile
author wenzelm
Sat Oct 04 16:05:09 2008 +0200 (2008-10-04 ago)
changeset 28500 4b79e5d3d0aa
parent 27048 0e86aab627f3
child 28762 f5d79aeffd81
permissions -rw-r--r--
replaced ISATOOL by ISABELLE_TOOL;
     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/Introduction.thy Thy/Outer_Syntax.thy Thy/Spec.thy Thy/Proof.thy	\
    26   Thy/Misc.thy Thy/Document_Preparation.thy Thy/Generic.thy		\
    27   Thy/HOL_Specific.thy Thy/Quick_Reference.thy Thy/ML_Tactic.thy
    28 	@$(USEDIR) -s IsarRef HOL Thy
    29 
    30 
    31 HOLCF-IsarRef: $(LOG)/HOLCF-IsarRef.gz
    32 
    33 $(LOG)/HOLCF-IsarRef.gz: Thy/ROOT-HOLCF.ML ../antiquote_setup.ML	\
    34   Thy/HOLCF_Specific.thy
    35 	@$(USEDIR) -s IsarRef -f ROOT-HOLCF.ML HOLCF Thy
    36 
    37 
    38 ZF-IsarRef: $(LOG)/ZF-IsarRef.gz
    39 
    40 $(LOG)/ZF-IsarRef.gz: Thy/ROOT-ZF.ML ../antiquote_setup.ML 		\
    41   Thy/ZF_Specific.thy
    42 	@$(USEDIR) -s IsarRef -f ROOT-ZF.ML ZF Thy
    43 
    44 
    45 ## clean
    46 
    47 clean:
    48 	@rm -f $(LOG)/HOL-IsarRef.gz $(LOG)/HOLCF-IsarRef.gz $(LOG)/ZF-IsarRef.gz