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 pearl pearl-jv |
7 all: Nominal2 paper pearl pearl-jv qpaper |
8 |
8 |
9 |
9 |
10 ## global settings |
10 ## global settings |
11 |
11 |
12 SRC = $(ISABELLE_HOME)/src |
12 SRC = $(ISABELLE_HOME)/src |
49 @$(USEDIR) -D generated HOL Pearl-jv |
49 @$(USEDIR) -D generated HOL Pearl-jv |
50 $(ISABELLE_TOOL) document -o pdf Pearl-jv/generated |
50 $(ISABELLE_TOOL) document -o pdf Pearl-jv/generated |
51 @cp Pearl-jv/document.pdf pearl-jv.pdf |
51 @cp Pearl-jv/document.pdf pearl-jv.pdf |
52 |
52 |
53 |
53 |
|
54 ## Quotient Paper |
|
55 |
|
56 qpaper: $(LOG)/HOL-QPaper.gz |
|
57 |
|
58 $(LOG)/HOL-QPaper.gz: Quotient-Paper/ROOT.ML Quotient-Paper/document/root.* Quotient-Paper/*.thy |
|
59 @$(USEDIR) -D generated HOL Quotient-Paper |
|
60 $(ISABELLE_TOOL) document -o pdf Quotient-Paper/generated |
|
61 @cp Quotient-Paper/document.pdf qpaper.pdf |
|
62 |
|
63 |
54 ## clean |
64 ## clean |
55 |
65 |
56 clean: |
66 clean: |
57 @rm -f $(LOG)/HOL-Nominal2.gz $(LOG)/HOL-Pearl.gz |
67 @rm -f $(LOG)/HOL-Nominal2.gz $(LOG)/HOL-Pearl.gz |