equal
deleted
inserted
replaced
2 # $Id$ |
2 # $Id$ |
3 # |
3 # |
4 # IsaMakefile for Cube |
4 # IsaMakefile for Cube |
5 # |
5 # |
6 |
6 |
|
7 ## targets |
|
8 |
|
9 default: Cube |
|
10 images: Cube |
|
11 test: Cube-ex |
|
12 all: images test |
|
13 |
|
14 |
|
15 ## global settings |
|
16 |
|
17 SRC = $(ISABELLE_HOME)/src |
7 OUT = $(ISABELLE_OUTPUT) |
18 OUT = $(ISABELLE_OUTPUT) |
8 LOG = $(OUT)/log |
19 LOG = $(OUT)/log |
9 |
20 |
10 FILES = ROOT.ML Cube.thy Cube.ML |
|
11 |
21 |
12 $(OUT)/Cube: $(OUT)/Pure $(FILES) |
22 ## Cube |
|
23 |
|
24 Cube: Pure $(OUT)/Cube |
|
25 |
|
26 Pure: |
|
27 @cd $(SRC)/Pure; $(ISATOOL) make Pure |
|
28 |
|
29 $(OUT)/Cube: $(OUT)/Pure Cube.ML Cube.thy ROOT.ML |
13 @$(ISATOOL) usedir -b $(OUT)/Pure Cube |
30 @$(ISATOOL) usedir -b $(OUT)/Pure Cube |
14 |
31 |
15 $(OUT)/Pure: |
|
16 @cd ../Pure; $(ISATOOL) make |
|
17 |
32 |
18 $(LOG)/Cube-ex.gz: ex/ROOT.ML ex/ex.ML $(OUT)/Cube |
33 ## Cube-ex |
|
34 |
|
35 Cube-ex: Cube $(LOG)/Cube-ex.gz |
|
36 |
|
37 $(LOG)/Cube-ex.gz: $(OUT)/Cube ex/ex.ML ex/ROOT.ML |
19 @$(ISATOOL) usedir $(OUT)/Cube ex |
38 @$(ISATOOL) usedir $(OUT)/Cube ex |
20 |
39 |
21 test: $(OUT)/Cube $(LOG)/Cube-ex.gz |
40 |
|
41 ## clean |
22 |
42 |
23 clean: |
43 clean: |
24 @rm -f $(OUT)/Cube $(LOG)/Cube-ex.gz |
44 @rm -f $(OUT)/Cube $(LOG)/Cube.gz $(LOG)/Cube-ex.gz |
25 |
|
26 |
|
27 .PRECIOUS: $(OUT)/Pure $(OUT)/Cube |
|