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