equal
deleted
inserted
replaced
9 |
9 |
10 SRC = $(ISABELLE_HOME)/src |
10 SRC = $(ISABELLE_HOME)/src |
11 OUT = $(ISABELLE_OUTPUT) |
11 OUT = $(ISABELLE_OUTPUT) |
12 LOG = $(OUT)/log |
12 LOG = $(OUT)/log |
13 |
13 |
14 USEDIR = $(ISATOOL) usedir -v true -D generated |
14 USEDIR = $(ISABELLE_TOOL) usedir -v true -D generated |
15 |
15 |
16 tutorial: ProgTutorial/ROOT.ML \ |
16 tutorial: ProgTutorial/ROOT.ML \ |
17 ProgTutorial/document/root.tex \ |
17 ProgTutorial/document/root.tex \ |
18 ProgTutorial/document/root.bib \ |
18 ProgTutorial/document/root.bib \ |
19 ProgTutorial/*.thy \ |
19 ProgTutorial/*.thy \ |
22 ProgTutorial/Package/*.thy \ |
22 ProgTutorial/Package/*.thy \ |
23 ProgTutorial/Package/*.ML |
23 ProgTutorial/Package/*.ML |
24 @rm -rf ProgTutorial/generated/* |
24 @rm -rf ProgTutorial/generated/* |
25 $(USEDIR) HOL ProgTutorial |
25 $(USEDIR) HOL ProgTutorial |
26 hg parent --template '{date|shortdate}' > ProgTutorial/generated/tip |
26 hg parent --template '{date|shortdate}' > ProgTutorial/generated/tip |
27 $(ISATOOL) version > ProgTutorial/generated/version |
27 $(ISABELLE_TOOL) version > ProgTutorial/generated/version |
28 $(ML_HOME)/poly -v > ProgTutorial/generated/pversion |
28 $(ML_HOME)/poly -v > ProgTutorial/generated/pversion |
29 $(ISATOOL) document -o pdf ProgTutorial/generated |
29 $(ISABELLE_TOOL) document -o pdf ProgTutorial/generated |
30 @cp ProgTutorial/document.pdf progtutorial.pdf |
30 @cp ProgTutorial/document.pdf progtutorial.pdf |
31 |
31 |
32 ## clean |
32 ## clean |
33 |
33 |
34 clean: |
34 clean: |