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 ## Quot |
18 ## Quot |
19 |
19 |
20 Quot: $(LOG)/HOL-Quot.gz |
20 Quot: $(LOG)/HOL-Quot.gz |
21 |
21 |
22 $(LOG)/HOL-Quot.gz: Quot/ROOT.ML Quot/*.thy |
22 $(LOG)/HOL-Quot.gz: Quot/ROOT.ML Quot/*.thy |
23 @$(USEDIR) HOL-Nominal Quot |
23 @$(USEDIR) HOL-Quot Quot |
|
24 |
|
25 paper: $(LOG)/HOL-Quot-Paper.gz |
|
26 |
|
27 $(LOG)/HOL-Quot-Paper.gz: Paper/ROOT.ML Paper/document/root.tex Paper/*.thy |
|
28 @$(USEDIR) HOL Paper |
|
29 $(ISATOOL) document -o pdf Paper/generated |
|
30 @cp Paper/document.pdf paper.pdf |
24 |
31 |
25 |
32 |
26 ## clean |
33 ## clean |
27 |
34 |
28 clean: |
35 clean: |