changeset 2487 | 4f0bf2936bc0 |
child 2819 | ebeacfa0e56b |
2486:750499529c05 | 2487:4f0bf2936bc0 |
---|---|
1 # |
|
2 # $Id$ |
|
3 # |
|
4 # IsaMakefile for Cube |
|
5 # |
|
6 |
|
7 OUT = $(ISABELLE_OUTPUT_DIR) |
|
8 FILES = ROOT.ML Cube.thy Cube.ML |
|
9 |
|
10 $(OUT)/Cube: $(OUT)/Pure $(FILES) |
|
11 @$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu $(OUT)/Pure Cube |
|
12 @chmod -w $@ |
|
13 |
|
14 $(OUT)/Pure: |
|
15 @cd ../Pure; $(ISATOOL) make |
|
16 |
|
17 test: ex.ML $(OUT)/Cube |
|
18 @$(ISABELLE) -e 'make_html := $(ISABELLE_HTML); use"ex.ML"; quit();' \ |
|
19 -rq $(OUT)/Cube |
|
20 |
|
21 .PRECIOUS: $(OUT)/Pure $(OUT)/Cube |