isabelle: src/Cube/IsaMakefile@ebeacfa0e56b (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
4f0bf2936bc0 IsaMakefile for Cube; wenzelm parents: diff changeset	7	OUT = $(ISABELLE_OUTPUT_DIR)
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

author	wenzelm
	Thu, 20 Mar 1997 10:49:44 +0100
changeset 2819	ebeacfa0e56b
parent 2487	4f0bf2936bc0
child 3118	24dae6222579
permissions	-rw-r--r--