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;
wenzelm@26738
     1
wenzelm@26738
     2
## targets
wenzelm@26738
     3
wenzelm@26840
     4
default: HOL-IsarRef HOLCF-IsarRef ZF-IsarRef
wenzelm@26738
     5
images: 
wenzelm@26840
     6
test: HOL-IsarRef HOLCF-IsarRef ZF-IsarRef
wenzelm@26738
     7
wenzelm@26738
     8
all: images test
wenzelm@26738
     9
wenzelm@26738
    10
wenzelm@26738
    11
## global settings
wenzelm@26738
    12
wenzelm@26738
    13
SRC = $(ISABELLE_HOME)/src
wenzelm@26738
    14
OUT = $(ISABELLE_OUTPUT)
wenzelm@26738
    15
LOG = $(OUT)/log
wenzelm@26738
    16
wenzelm@28500
    17
USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document
wenzelm@26738
    18
wenzelm@26738
    19
wenzelm@26840
    20
## IsarRef sessions
wenzelm@26840
    21
wenzelm@26840
    22
HOL-IsarRef: $(LOG)/HOL-IsarRef.gz
wenzelm@26738
    23
wenzelm@27035
    24
$(LOG)/HOL-IsarRef.gz: Thy/ROOT.ML ../antiquote_setup.ML		\
wenzelm@27037
    25
  Thy/Introduction.thy Thy/Outer_Syntax.thy Thy/Spec.thy Thy/Proof.thy	\
wenzelm@27048
    26
  Thy/Misc.thy Thy/Document_Preparation.thy Thy/Generic.thy		\
wenzelm@27043
    27
  Thy/HOL_Specific.thy Thy/Quick_Reference.thy Thy/ML_Tactic.thy
wenzelm@26840
    28
	@$(USEDIR) -s IsarRef HOL Thy
wenzelm@26840
    29
wenzelm@26738
    30
wenzelm@26840
    31
HOLCF-IsarRef: $(LOG)/HOLCF-IsarRef.gz
wenzelm@26840
    32
wenzelm@27035
    33
$(LOG)/HOLCF-IsarRef.gz: Thy/ROOT-HOLCF.ML ../antiquote_setup.ML	\
wenzelm@27035
    34
  Thy/HOLCF_Specific.thy
wenzelm@26840
    35
	@$(USEDIR) -s IsarRef -f ROOT-HOLCF.ML HOLCF Thy
wenzelm@26840
    36
wenzelm@26840
    37
wenzelm@26840
    38
ZF-IsarRef: $(LOG)/ZF-IsarRef.gz
wenzelm@26840
    39
wenzelm@27035
    40
$(LOG)/ZF-IsarRef.gz: Thy/ROOT-ZF.ML ../antiquote_setup.ML 		\
wenzelm@27035
    41
  Thy/ZF_Specific.thy
wenzelm@26840
    42
	@$(USEDIR) -s IsarRef -f ROOT-ZF.ML ZF Thy
wenzelm@26738
    43
wenzelm@26738
    44
wenzelm@26738
    45
## clean
wenzelm@26738
    46
wenzelm@26738
    47
clean:
wenzelm@26840
    48
	@rm -f $(LOG)/HOL-IsarRef.gz $(LOG)/HOLCF-IsarRef.gz $(LOG)/ZF-IsarRef.gz