isabelle: src/Cube/IsaMakefile@e567f3425267 (annotated)

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

author	wenzelm
	Mon, 01 Dec 1997 18:22:38 +0100
changeset 4334	e567f3425267
parent 3505	1cb4ea47d967
child 4447	b7ee449eb345
permissions	-rw-r--r--