30 $(LOG)/HOL-Nominal2-Paper.gz: Paper/ROOT.ML Paper/document/root.* Paper/*.thy |
30 $(LOG)/HOL-Nominal2-Paper.gz: Paper/ROOT.ML Paper/document/root.* Paper/*.thy |
31 @$(USEDIR) -D generated Nominal Paper |
31 @$(USEDIR) -D generated Nominal Paper |
32 $(ISABELLE_TOOL) document -o pdf Paper/generated |
32 $(ISABELLE_TOOL) document -o pdf Paper/generated |
33 @cp Paper/document.pdf paper.pdf |
33 @cp Paper/document.pdf paper.pdf |
34 |
34 |
35 ## Pearl Paper |
35 ## Pearl Paper ITP |
36 |
36 |
37 pearl: $(LOG)/HOL-Pearl.gz |
37 pearl: $(LOG)/HOL-Pearl.gz |
38 |
38 |
39 $(LOG)/HOL-Pearl.gz: Pearl/ROOT.ML Pearl/document/root.* Pearl/*.thy |
39 $(LOG)/HOL-Pearl.gz: Pearl/ROOT.ML Pearl/document/root.* Pearl/*.thy |
40 @$(USEDIR) -D generated HOL Pearl |
40 @$(USEDIR) -D generated HOL Pearl |
41 $(ISABELLE_TOOL) document -o pdf Pearl/generated |
41 $(ISABELLE_TOOL) document -o pdf Pearl/generated |
42 @cp Pearl/document.pdf pearl.pdf |
42 @cp Pearl/document.pdf pearl.pdf |
43 |
43 |
|
44 ## Pearl Journal Paper |
|
45 |
|
46 pearl-jv: $(LOG)/HOL-Pearl-jv.gz |
|
47 |
|
48 $(LOG)/HOL-Pearl-jv.gz: Pearl-jv/ROOT.ML Pearl-jv/document/root.* Pearl-jv/*.thy |
|
49 @$(USEDIR) -D generated HOL Pearl-jv |
|
50 $(ISABELLE_TOOL) document -o pdf Pearl-jv/generated |
|
51 @cp Pearl-jv/document.pdf pearl-jv.pdf |
|
52 |
44 |
53 |
45 ## clean |
54 ## clean |
46 |
55 |
47 clean: |
56 clean: |
48 @rm -f $(LOG)/HOL-Nominal2.gz $(LOG)/HOL-Pearl.gz |
57 @rm -f $(LOG)/HOL-Nominal2.gz $(LOG)/HOL-Pearl.gz |