src/Cube/IsaMakefile
author wenzelm
Tue, 06 May 1997 15:27:35 +0200
changeset 3118 24dae6222579
parent 2819 ebeacfa0e56b
child 3505 1cb4ea47d967
permissions -rw-r--r--
fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
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
	@chmod -w $@
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset
    13
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset
    14
$(OUT)/Pure:
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset
    15
	@cd ../Pure; $(ISATOOL) make
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset
    16
2819
ebeacfa0e56b isatool usedir;
wenzelm
parents: 2487
diff changeset
    17
test: ex/ROOT.ML ex/ex.ML $(OUT)/Cube
ebeacfa0e56b isatool usedir;
wenzelm
parents: 2487
diff changeset
    18
	@$(ISATOOL) usedir $(OUT)/Cube ex
2487
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset
    19
4f0bf2936bc0 IsaMakefile for Cube;
wenzelm
parents:
diff changeset
    20
.PRECIOUS: $(OUT)/Pure $(OUT)/Cube