equal
deleted
inserted
replaced
11 |
11 |
12 SRC = $(ISABELLE_HOME)/src |
12 SRC = $(ISABELLE_HOME)/src |
13 OUT = $(ISABELLE_OUTPUT) |
13 OUT = $(ISABELLE_OUTPUT) |
14 LOG = $(OUT)/log |
14 LOG = $(OUT)/log |
15 |
15 |
16 USEDIR = $(ISABELLE_TOOL) usedir -v true -t true -D generated |
16 USEDIR = $(ISABELLE_TOOL) usedir -v true -t true ##-D generated |
|
17 |
17 |
18 |
18 ## Quot |
19 ## Quot |
19 |
20 |
20 Quot: $(LOG)/HOL-Quot.gz |
21 Quot: $(LOG)/HOL-Quot.gz |
21 |
22 |
23 @$(USEDIR) HOL-Nominal Quot |
24 @$(USEDIR) HOL-Nominal Quot |
24 |
25 |
25 paper: $(LOG)/HOL-Quot-Paper.gz |
26 paper: $(LOG)/HOL-Quot-Paper.gz |
26 |
27 |
27 $(LOG)/HOL-Quot-Paper.gz: Paper/ROOT.ML Paper/document/root.tex Paper/*.thy |
28 $(LOG)/HOL-Quot-Paper.gz: Paper/ROOT.ML Paper/document/root.tex Paper/*.thy |
28 @$(USEDIR) HOL Paper |
29 @$(USEDIR) -D generated HOL Paper |
29 $(ISATOOL) document -o pdf Paper/generated |
30 $(ISATOOL) document -o pdf Paper/generated |
30 @cp Paper/document.pdf paper.pdf |
31 @cp Paper/document.pdf paper.pdf |
31 |
32 |
32 |
33 |
33 ## clean |
34 ## clean |