2 # IsaMakefile to build the examples for the FOL and ZF manual |
2 # IsaMakefile to build the examples for the FOL and ZF manual |
3 # |
3 # |
4 |
4 |
5 ## targets |
5 ## targets |
6 |
6 |
7 default: ZF-examples styles |
7 default: ZF-examples |
8 images: |
8 images: |
9 test: |
9 test: |
10 all: default |
10 all: default |
11 |
11 |
12 |
12 |
13 ## global settings |
13 ## global settings |
14 |
14 |
15 SRC = $(ISABELLE_HOME)/src |
15 SRC = $(ISABELLE_HOME)/src |
16 OUT = $(ISABELLE_OUTPUT) |
16 OUT = $(ISABELLE_OUTPUT) |
17 LOG = $(OUT)/log |
17 LOG = $(OUT)/log |
18 OPTIONS = -m brackets -i true -d "" -D document |
18 USEDIR = @$(ISABELLE_TOOL) usedir -m brackets -i true -d "" -D document |
19 USEDIR = @$(ISABELLE_TOOL) usedir $(OPTIONS) $(OUT)/ZF |
|
20 |
19 |
21 |
20 |
22 ## ZF |
21 ## ZF |
23 |
22 |
24 ZF: |
23 ZF: |
25 @cd $(SRC)/ZF; $(ISABELLE_TOOL) make ZF |
24 @cd $(SRC)/ZF; $(ISABELLE_TOOL) make ZF |
26 |
|
27 styles: |
|
28 @rm -f isabelle.sty |
|
29 @rm -f isabellesym.sty |
|
30 @rm -f pdfsetup.sty |
|
31 @$(ISABELLE_TOOL) 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 |
25 |
38 |
26 |
39 ## ZF-examples |
27 ## ZF-examples |
40 |
28 |
41 ZF-examples: ZF $(LOG)/ZF-examples.gz |
29 ZF-examples: ZF $(LOG)/ZF-examples.gz |
42 |
30 |
43 $(LOG)/ZF-examples.gz: $(OUT)/ZF \ |
31 $(LOG)/ZF-examples.gz: $(OUT)/ZF \ |
44 FOL_examples.thy IFOL_examples.thy ZF_examples.thy If.thy ROOT.ML |
32 FOL_examples.thy IFOL_examples.thy ZF_examples.thy If.thy ROOT.ML |
45 @$(USEDIR) . |
33 @$(USEDIR) -s examples $(OUT)/ZF . |
|
34 @rm -f document/isabelle.sty |
|
35 @rm -f document/isabellesym.sty |
|
36 @rm -f document/pdfsetup.sty |
|
37 @rm -f document/session.tex |
46 |
38 |
47 ## clean |
39 ## clean |
48 |
40 |
49 clean: |
41 clean: |
50 @rm -f $(LOG)/ZF-examples.gz document/*.tex |
42 @rm -f $(LOG)/ZF-examples.gz document/*.tex |