equal
deleted
inserted
replaced
|
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 |