2487
|
1 |
#
|
|
2 |
# $Id$
|
|
3 |
#
|
|
4 |
# IsaMakefile for Cube
|
|
5 |
#
|
|
6 |
|
4518
|
7 |
## targets
|
|
8 |
|
17453
|
9 |
default: Pure-Cube
|
|
10 |
images:
|
|
11 |
test: Pure-Cube
|
4518
|
12 |
all: images test
|
|
13 |
|
|
14 |
|
|
15 |
## global settings
|
|
16 |
|
|
17 |
SRC = $(ISABELLE_HOME)/src
|
3118
|
18 |
OUT = $(ISABELLE_OUTPUT)
|
4447
|
19 |
LOG = $(OUT)/log
|
|
20 |
|
4518
|
21 |
|
17453
|
22 |
## Pure-Cube
|
4518
|
23 |
|
17453
|
24 |
Pure-Cube: Pure $(LOG)/Pure-Cube.gz
|
2487
|
25 |
|
4518
|
26 |
Pure:
|
28500
|
27 |
@cd $(SRC)/Pure; $(ISABELLE_TOOL) make Pure
|
4518
|
28 |
|
17453
|
29 |
$(LOG)/Pure-Cube.gz: $(OUT)/Pure Cube.thy Example.thy ROOT.ML
|
28500
|
30 |
@cd ..; $(ISABELLE_TOOL) usedir $(OUT)/Pure Cube
|
2487
|
31 |
|
4518
|
32 |
|
|
33 |
## clean
|
4447
|
34 |
|
|
35 |
clean:
|
17453
|
36 |
@rm -f $(LOG)/Pure-Cube.gz
|