doc-src/ZF/IsaMakefile
author paulson
Tue, 19 Aug 2003 13:53:58 +0200
changeset 14152 12f6f18e7afc
child 28500 4b79e5d3d0aa
permissions -rw-r--r--
For the Isar version of the ZF logics manual
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
14152
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
     1
#
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
     2
# IsaMakefile to build the examples for the FOL and ZF manual
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
     3
#
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
     4
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
     5
## targets
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
     6
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
     7
default: ZF-examples styles
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
     8
images:
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
     9
test:
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    10
all: default
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    11
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    12
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    13
## global settings
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    14
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    15
SRC = $(ISABELLE_HOME)/src
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    16
OUT = $(ISABELLE_OUTPUT)
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    17
LOG = $(OUT)/log
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    18
OPTIONS = -m brackets -i true -d "" -D document
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    19
USEDIR = @$(ISATOOL) usedir $(OPTIONS) $(OUT)/ZF
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    20
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    21
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    22
## ZF
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    23
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    24
ZF:
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    25
	@cd $(SRC)/ZF; $(ISATOOL) make ZF
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    26
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    27
styles:
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    28
	@rm -f isabelle.sty
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    29
	@rm -f isabellesym.sty
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    30
	@rm -f pdfsetup.sty
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    31
	@$(ISATOOL) latex -o sty >/dev/null
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    32
	@rm -f pdfsetup.sty
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    33
	@rm -f document/isabelle.sty
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    34
	@rm -f document/isabellesym.sty
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    35
	@rm -f document/pdfsetup.sty
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    36
	@rm -f document/session.tex
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    37
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    38
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    39
## ZF-examples
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    40
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    41
ZF-examples: ZF $(LOG)/ZF-examples.gz
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    42
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    43
$(LOG)/ZF-examples.gz: $(OUT)/ZF \
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    44
	FOL_examples.thy  IFOL_examples.thy ZF_examples.thy If.thy ROOT.ML 
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    45
	@$(USEDIR) .
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    46
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    47
## clean
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    48
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    49
clean:
12f6f18e7afc For the Isar version of the ZF logics manual
paulson
parents:
diff changeset
    50
	@rm -f $(LOG)/ZF-examples.gz document/*.tex