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