equal
deleted
inserted
replaced
12 |
12 |
13 SRC = $(ISABELLE_HOME)/src |
13 SRC = $(ISABELLE_HOME)/src |
14 OUT = $(ISABELLE_OUTPUT) |
14 OUT = $(ISABELLE_OUTPUT) |
15 LOG = $(OUT)/log |
15 LOG = $(OUT)/log |
16 |
16 |
17 USEDIR = $(ISABELLE_TOOL) usedir -v true -i true -d pdf ## -D generated |
17 USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d pdf ## -D generated |
18 |
18 |
19 |
19 |
20 ## utm |
20 ## utm |
21 |
21 |
22 utm: $(OUT)/utm |
22 utm: $(OUT)/utm |
23 |
23 |
24 $(OUT)/utm: ## ROOT.ML document/root.tex *.thy |
24 $(OUT)/utm: *.thy |
25 @$(USEDIR) -b HOL utm |
25 @$(USEDIR) -b HOL UTM |
|
26 |
|
27 session: ROOT.ML \ |
|
28 document/root* \ |
|
29 *.thy |
|
30 @$(USEDIR) -D generated -f ROOT.ML UTM . |
|
31 |
|
32 paper: utm |
|
33 rm -f generated/*.aux # otherwise latex will fall over |
|
34 cd generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
|
35 # cd generated ; bibtex root |
|
36 # cd generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
|
37 cp generated/root.pdf paper.pdf |
26 |
38 |
27 |
39 |
28 ## clean |
40 ## clean |
29 |
41 |
30 clean: |
42 clean: |