src/Cube/IsaMakefile
author wenzelm
Wed, 15 Oct 1997 15:12:59 +0200
changeset 3872 a5839ecee7b8
parent 3505 1cb4ea47d967
child 4447 b7ee449eb345
permissions -rw-r--r--
tuned; prepare ext;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2487
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset
     1
#
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset
     2
# $Id$
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset
     3
#
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset
     4
# IsaMakefile for Cube
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset
     5
#
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset
     6
3118
24dae6222579 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
wenzelm
parents: 2819
diff changeset
     7
OUT = $(ISABELLE_OUTPUT)
2487
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset
     8
FILES =	ROOT.ML Cube.thy Cube.ML
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset
     9
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset
    10
$(OUT)/Cube: $(OUT)/Pure $(FILES)
2819
ebeacfa0e56b isatool usedir;
wenzelm
parents: 2487
diff changeset
    11
	@$(ISATOOL) usedir -b $(OUT)/Pure Cube
2487
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset
    12
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset
    13
$(OUT)/Pure:
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset
    14
	@cd ../Pure; $(ISATOOL) make
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset
    15
2819
ebeacfa0e56b isatool usedir;
wenzelm
parents: 2487
diff changeset
    16
test: ex/ROOT.ML ex/ex.ML $(OUT)/Cube
ebeacfa0e56b isatool usedir;
wenzelm
parents: 2487
diff changeset
    17
	@$(ISATOOL) usedir $(OUT)/Cube ex
2487
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset
    18
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset
    19
.PRECIOUS: $(OUT)/Pure $(OUT)/Cube