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
60
5b9c6010897b
doem tuning and made the cookbook work again with recent changes (CookBook/Package/Ind_Interface.thy needs to be looked at to see what the problem with the new parser type is)
Christian Urban <urbanc@in.tum.de>
diff
changeset
+ − 14
USEDIR = $(ISATOOL) 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
+ − 26
$(ISATOOL) version > ProgTutorial/generated/version
246
+ − 27
$(ML_HOME)/poly -v > ProgTutorial/generated/pversion
189
+ − 28
$(ISATOOL) document -o pdf ProgTutorial/generated
+ − 29
@cp ProgTutorial/document.pdf progtutorial.pdf
0
+ − 30
+ − 31
## clean
+ − 32
+ − 33
clean:
189
+ − 34
@rm -f ProgTutorial/generated/*