| changeset 3118 | 24dae6222579 |
| parent 2819 | ebeacfa0e56b |
| child 3505 | 1cb4ea47d967 |
| 3117:74c1b51c1cd9 | 3118:24dae6222579 |
|---|---|
2 # $Id$ |
2 # $Id$ |
3 # |
3 # |
4 # IsaMakefile for Cube |
4 # IsaMakefile for Cube |
5 # |
5 # |
6 |
6 |
7 OUT = $(ISABELLE_OUTPUT_DIR) |
7 OUT = $(ISABELLE_OUTPUT) |
8 FILES = ROOT.ML Cube.thy Cube.ML |
8 FILES = ROOT.ML Cube.thy Cube.ML |
9 |
9 |
10 $(OUT)/Cube: $(OUT)/Pure $(FILES) |
10 $(OUT)/Cube: $(OUT)/Pure $(FILES) |
11 @$(ISATOOL) usedir -b $(OUT)/Pure Cube |
11 @$(ISATOOL) usedir -b $(OUT)/Pure Cube |
12 @chmod -w $@ |
12 @chmod -w $@ |