equal
deleted
inserted
replaced
1 |
1 |
2 ## targets |
2 ## targets |
3 |
3 |
4 default: Thy |
4 default: HOL-IsarRef HOLCF-IsarRef ZF-IsarRef |
5 images: |
5 images: |
6 test: Thy |
6 test: HOL-IsarRef HOLCF-IsarRef ZF-IsarRef |
7 |
7 |
8 all: images test |
8 all: images test |
9 |
9 |
10 |
10 |
11 ## global settings |
11 ## global settings |
15 LOG = $(OUT)/log |
15 LOG = $(OUT)/log |
16 |
16 |
17 USEDIR = $(ISATOOL) usedir -v true -i false -d false -C false -D document |
17 USEDIR = $(ISATOOL) usedir -v true -i false -d false -C false -D document |
18 |
18 |
19 |
19 |
20 ## Thy |
20 ## IsarRef sessions |
21 |
21 |
22 Thy: $(LOG)/HOL-Thy.gz |
22 HOL-IsarRef: $(LOG)/HOL-IsarRef.gz |
23 |
23 |
24 $(LOG)/HOL-Thy.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \ |
24 $(LOG)/HOL-IsarRef.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \ |
25 Thy/syntax.thy Thy/pure.thy Thy/Generic.thy Thy/Quick_Reference.thy |
25 Thy/syntax.thy Thy/pure.thy Thy/Generic.thy Thy/Quick_Reference.thy |
26 @$(USEDIR) HOL Thy |
26 @$(USEDIR) -s IsarRef HOL Thy |
|
27 |
|
28 |
|
29 HOLCF-IsarRef: $(LOG)/HOLCF-IsarRef.gz |
|
30 |
|
31 $(LOG)/HOLCF-IsarRef.gz: Thy/ROOT-HOLCF.ML ../antiquote_setup.ML Thy/HOLCF_Specific.thy |
|
32 @$(USEDIR) -s IsarRef -f ROOT-HOLCF.ML HOLCF Thy |
|
33 |
|
34 |
|
35 ZF-IsarRef: $(LOG)/ZF-IsarRef.gz |
|
36 |
|
37 $(LOG)/ZF-IsarRef.gz: Thy/ROOT-ZF.ML ../antiquote_setup.ML Thy/ZF_Specific.thy |
|
38 @$(USEDIR) -s IsarRef -f ROOT-ZF.ML ZF Thy |
27 |
39 |
28 |
40 |
29 ## clean |
41 ## clean |
30 |
42 |
31 clean: |
43 clean: |
32 @rm -f $(LOG)/HOL-Thy.gz |
44 @rm -f $(LOG)/HOL-IsarRef.gz $(LOG)/HOLCF-IsarRef.gz $(LOG)/ZF-IsarRef.gz |