author | wenzelm |
Sat, 17 May 2008 13:54:30 +0200 | |
changeset 26928 | ca87aff1ad2d |
parent 26855 | 7bb3d2ee0606 |
child 28213 | b52f9205a02d |
permissions | -rw-r--r-- |
20948 | 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 |
||
17 |
USEDIR = $(ISATOOL) usedir -v true -i false -d false -C false -D document |
|
18 |
||
19 |
||
20 |
## Thy |
|
21 |
||
22 |
THY = $(LOG)/HOL-Thy.gz |
|
23 |
||
24 |
Thy: $(THY) |
|
25 |
||
26855 | 26 |
$(THY): Thy/ROOT.ML Thy/Codegen.thy ../../antiquote_setup.ML |
20948 | 27 |
@$(USEDIR) HOL Thy |
28 |
||
29 |
||
30 |
## clean |
|
31 |
||
32 |
clean: |
|
33 |
@rm -f $(THY) |