0
|
1 |
|
|
2 |
## targets
|
|
3 |
|
106
bdd82350cf22
renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious)
Christian Urban <urbanc@in.tum.de>
diff
changeset
|
4 |
default: tutorial
|
0
|
5 |
|
106
bdd82350cf22
renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious)
Christian Urban <urbanc@in.tum.de>
diff
changeset
|
6 |
all: tutorial
|
0
|
7 |
|
|
8 |
## global settings
|
|
9 |
|
|
10 |
SRC = $(ISABELLE_HOME)/src
|
|
11 |
OUT = $(ISABELLE_OUTPUT)
|
|
12 |
LOG = $(OUT)/log
|
|
13 |
|
364
|
14 |
USEDIR = $(ISABELLE_TOOL) usedir -v true -D generated
|
0
|
15 |
|
189
|
16 |
tutorial: ProgTutorial/ROOT.ML \
|
|
17 |
ProgTutorial/document/root.tex \
|
|
18 |
ProgTutorial/document/root.bib \
|
|
19 |
ProgTutorial/*.thy \
|
|
20 |
ProgTutorial/*.ML \
|
|
21 |
ProgTutorial/Recipes/*.thy \
|
|
22 |
ProgTutorial/Package/*.thy \
|
256
|
23 |
ProgTutorial/Package/*.ML
|
|
24 |
@rm -rf ProgTutorial/generated/*
|
189
|
25 |
$(USEDIR) HOL ProgTutorial
|
306
|
26 |
hg parent --template '{date|shortdate}' > ProgTutorial/generated/tip
|
364
|
27 |
$(ISABELLE_TOOL) version > ProgTutorial/generated/version
|
246
|
28 |
$(ML_HOME)/poly -v > ProgTutorial/generated/pversion
|
364
|
29 |
$(ISABELLE_TOOL) document -o pdf ProgTutorial/generated
|
373
|
30 |
makeindex -o ProgTutorial/generated/root.stu ProgTutorial/generated/root.str
|
|
31 |
$(ISABELLE_TOOL) document -o pdf ProgTutorial/generated
|
|
32 |
## $(ISABELLE_TOOL) document -o pdf ProgTutorial/generated
|
189
|
33 |
@cp ProgTutorial/document.pdf progtutorial.pdf
|
0
|
34 |
|
|
35 |
## clean
|
|
36 |
|
|
37 |
clean:
|
189
|
38 |
@rm -f ProgTutorial/generated/*
|