1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/doc-src/ZF/IsaMakefile Tue Aug 19 13:53:58 2003 +0200
1.3 @@ -0,0 +1,50 @@
1.4 +#
1.5 +# IsaMakefile to build the examples for the FOL and ZF manual
1.6 +#
1.7 +
1.8 +## targets
1.9 +
1.10 +default: ZF-examples styles
1.11 +images:
1.12 +test:
1.13 +all: default
1.14 +
1.15 +
1.16 +## global settings
1.17 +
1.18 +SRC = $(ISABELLE_HOME)/src
1.19 +OUT = $(ISABELLE_OUTPUT)
1.20 +LOG = $(OUT)/log
1.21 +OPTIONS = -m brackets -i true -d "" -D document
1.22 +USEDIR = @$(ISATOOL) usedir $(OPTIONS) $(OUT)/ZF
1.23 +
1.24 +
1.25 +## ZF
1.26 +
1.27 +ZF:
1.28 + @cd $(SRC)/ZF; $(ISATOOL) make ZF
1.29 +
1.30 +styles:
1.31 + @rm -f isabelle.sty
1.32 + @rm -f isabellesym.sty
1.33 + @rm -f pdfsetup.sty
1.34 + @$(ISATOOL) latex -o sty >/dev/null
1.35 + @rm -f pdfsetup.sty
1.36 + @rm -f document/isabelle.sty
1.37 + @rm -f document/isabellesym.sty
1.38 + @rm -f document/pdfsetup.sty
1.39 + @rm -f document/session.tex
1.40 +
1.41 +
1.42 +## ZF-examples
1.43 +
1.44 +ZF-examples: ZF $(LOG)/ZF-examples.gz
1.45 +
1.46 +$(LOG)/ZF-examples.gz: $(OUT)/ZF \
1.47 + FOL_examples.thy IFOL_examples.thy ZF_examples.thy If.thy ROOT.ML
1.48 + @$(USEDIR) .
1.49 +
1.50 +## clean
1.51 +
1.52 +clean:
1.53 + @rm -f $(LOG)/ZF-examples.gz document/*.tex