doc-src/IsarRef/IsaMakefile
author wenzelm
Thu Nov 13 21:48:19 2008 +0100 (2008-11-13 ago)
changeset 28762 f5d79aeffd81
parent 28500 4b79e5d3d0aa
child 28838 d5db6dfcb34a
permissions -rw-r--r--
separate chapter "Inner syntax --- the term language";
     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/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