equal
deleted
inserted
replaced
1 |
1 |
2 ## targets |
2 ## targets |
3 |
3 |
4 default: paper |
4 default: itp |
5 all: session paper |
5 all: session paper |
6 |
6 |
7 ## global settings |
7 ## global settings |
8 |
8 |
9 SRC = $(ISABELLE_HOME)/src |
9 SRC = $(ISABELLE_HOME)/src |
16 |
16 |
17 ## Slides |
17 ## Slides |
18 |
18 |
19 session: ./ROOT.ML ./*.thy |
19 session: ./ROOT.ML ./*.thy |
20 @$(USEDIR) -b -D generated -f ROOT.ML HOL Prio |
20 @$(USEDIR) -b -D generated -f ROOT.ML HOL Prio |
21 |
21 |
22 paper: Paper/ROOT.ML \ |
22 itp: Paper/*.thy Paper/*.ML |
23 Paper/*.thy |
|
24 @$(USEDIR) -D generated -f ROOT.ML Prio Paper |
23 @$(USEDIR) -D generated -f ROOT.ML Prio Paper |
25 rm -f Paper/generated/*.aux # otherwise latex will fall over |
24 rm -f Paper/generated/*.aux # otherwise latex will fall over |
26 cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
25 cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
27 cd Paper/generated ; bibtex root |
26 cd Paper/generated ; bibtex root |
28 cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
27 cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |