1 |
1 |
2 ## targets |
2 ## targets |
3 |
3 |
4 default: slides |
4 default: paper |
5 all: slides |
5 all: slides paper |
6 |
6 |
7 ## global settings |
7 ## global settings |
8 |
8 |
9 SRC = $(ISABELLE_HOME)/src |
9 SRC = $(ISABELLE_HOME)/src |
10 OUT = $(ISABELLE_OUTPUT) |
10 OUT = $(ISABELLE_OUTPUT) |
11 LOG = $(OUT)/log |
11 LOG = $(OUT)/log |
12 |
12 |
13 |
13 |
14 USEDIR = $(ISABELLE_TOOL) usedir -v true -t true |
14 USEDIR = $(ISABELLE_TOOL) usedir -v true -t true |
|
15 |
|
16 |
15 ## Slides |
17 ## Slides |
16 |
18 |
17 session1: Slides/ROOT1.ML \ |
19 session1: Slides/ROOT.ML \ |
18 Slides/document/root* \ |
20 Slides/document/root* \ |
19 Slides/Slides1.thy |
21 Slides/Slides.thy |
20 @$(USEDIR) -D generated1 -f ROOT1.ML HOL Slides |
22 @$(USEDIR) -D generated -f ROOT.ML HOL Slides |
21 |
23 |
22 slides1: session1 |
24 slides: session1 |
23 rm -f Slides/generated1/*.aux # otherwise latex will fall over |
25 rm -f Slides/generated/*.aux # otherwise latex will fall over |
24 cd Slides/generated1 ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex |
26 cd Slides/generated ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex |
25 cp Slides/generated1/root.beamer.pdf Slides/slides.pdf |
27 cp Slides/generated/root.beamer.pdf Slides/slides.pdf |
26 |
28 |
27 slides: slides1 |
29 |
|
30 ## Paper |
|
31 |
|
32 session2: Paper/ROOT.ML \ |
|
33 Paper/document/root* \ |
|
34 Paper/Paper.thy |
|
35 @$(USEDIR) -D generated -f ROOT.ML HOL Paper |
|
36 |
|
37 paper: session2 |
|
38 rm -f Paper/generated/*.aux # otherwise latex will fall over |
|
39 cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
|
40 cp Paper/generated/root.pdf Paper/paper.pdf |
28 |
41 |
29 |
42 |
30 ## clean |
43 ## clean |
31 |
44 |
32 clean: |
45 clean: |
33 rm -rf Slides/generated1/* |
46 rm -rf Slides/generated/* |
|
47 rm -rf Paper/generated/* |