author | wenzelm |
Tue, 22 May 2012 19:02:17 +0200 | |
changeset 47885 | b987aa8b9310 |
parent 39753 | ec6dfd9ce573 |
permissions | -rw-r--r-- |
21212 | 1 |
|
2 |
## targets |
|
3 |
||
4 |
default: Thy |
|
5 |
images: |
|
6 |
test: Thy |
|
7 |
||
8 |
all: images test |
|
9 |
||
10 |
||
11 |
## global settings |
|
12 |
||
13 |
SRC = $(ISABELLE_HOME)/src |
|
14 |
OUT = $(ISABELLE_OUTPUT) |
|
15 |
LOG = $(OUT)/log |
|
16 |
||
28500 | 17 |
USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document |
21212 | 18 |
|
19 |
||
20 |
## Thy |
|
21 |
||
22 |
THY = $(LOG)/HOL-Thy.gz |
|
23 |
||
24 |
Thy: $(THY) |
|
25 |
||
39753
ec6dfd9ce573
added dependency to base images to ensure that the doc test actually rebuilds the tutorials
krauss
parents:
30458
diff
changeset
|
26 |
$(THY): $(OUT)/HOL Thy/ROOT.ML Thy/Functions.thy |
21212 | 27 |
@$(USEDIR) HOL Thy |
30458 | 28 |
@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \ |
29 |
Thy/document/pdfsetup.sty Thy/document/session.tex |
|
21212 | 30 |
|
31 |
||
32 |
## clean |
|
33 |
||
34 |
clean: |
|
35 |
@rm -f $(THY) |