equal
deleted
inserted
replaced
2 ## targets |
2 ## targets |
3 |
3 |
4 default: Nominal2 |
4 default: Nominal2 |
5 images: |
5 images: |
6 |
6 |
7 all: Nominal2 paper |
7 all: Nominal2 paper pearl |
8 |
8 |
9 |
9 |
10 ## global settings |
10 ## global settings |
11 |
11 |
12 SRC = $(ISABELLE_HOME)/src |
12 SRC = $(ISABELLE_HOME)/src |
21 Nominal2: $(LOG)/HOL-Nominal2.gz |
21 Nominal2: $(LOG)/HOL-Nominal2.gz |
22 |
22 |
23 $(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy |
23 $(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy |
24 @cd Nominal; $(USEDIR) -b -d "" HOL Nominal |
24 @cd Nominal; $(USEDIR) -b -d "" HOL Nominal |
25 |
25 |
|
26 ## Nominal2 Paper |
|
27 |
26 paper: $(LOG)/HOL-Nominal2-Paper.gz |
28 paper: $(LOG)/HOL-Nominal2-Paper.gz |
27 |
29 |
28 $(LOG)/HOL-Nominal2-Paper.gz: Paper/ROOT.ML Paper/document/root.tex Paper/*.thy |
30 $(LOG)/HOL-Nominal2-Paper.gz: Paper/ROOT.ML Paper/document/root.tex Paper/*.thy |
29 @$(USEDIR) -D generated Nominal Paper |
31 @$(USEDIR) -D generated Nominal Paper |
30 $(ISABELLE_TOOL) document -o pdf Paper/generated |
32 $(ISABELLE_TOOL) document -o pdf Paper/generated |
31 @cp Paper/document.pdf paper.pdf |
33 @cp Paper/document.pdf paper.pdf |
32 |
34 |
|
35 ## Pearl Paper |
|
36 |
|
37 pearl: $(LOG)/HOL-Pearl.gz |
|
38 |
|
39 $(LOG)/HOL-Pearl.gz: Nominal/Nominal*.thy Pearl/ROOT.ML Pearl/document/root.* Pearl/*.thy |
|
40 @$(USEDIR) -D generated HOL Pearl |
|
41 $(ISABELLE_TOOL) document -o pdf Pearl/generated |
|
42 @cp Pearl/document.pdf pearl.pdf |
|
43 |
|
44 |
33 ## clean |
45 ## clean |
34 |
46 |
35 clean: |
47 clean: |
36 @rm -f $(LOG)/HOL-Nominal2.gz |
48 @rm -f $(LOG)/HOL-Nominal2.gz $(LOG)/HOL-Pearl.gz |