isabelle: src/LCF/IsaMakefile@24dae6222579 (annotated)

2488 8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	1	#
8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	2	# $Id$
8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	3	#
8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	4	# IsaMakefile for LCF
8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	5	#
8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	6
3118 24dae6222579 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?); wenzelm parents: 3057 diff changeset	7	OUT = $(ISABELLE_OUTPUT)
2488 8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	8	FILES = ROOT.ML LCF.thy LCF.ML simpdata.ML pair.ML fix.ML
8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	9
8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	10	$(OUT)/LCF: $(OUT)/FOL $(FILES)
3057 a5a42ff18a40 removed -c option; wenzelm parents: 2821 diff changeset	11	@$(ISATOOL) usedir -b $(OUT)/FOL LCF
2488 8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	12	@chmod -w $@
8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	13
8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	14	$(OUT)/FOL:
8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	15	@cd ../FOL; $(ISATOOL) make
8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	16
2821 b1dcacc4bc26 isatool usedir; wenzelm parents: 2488 diff changeset	17	test: ex/ROOT.ML ex/ex.ML $(OUT)/LCF
b1dcacc4bc26 isatool usedir; wenzelm parents: 2488 diff changeset	18	@$(ISATOOL) usedir $(OUT)/LCF ex
2488 8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	19
8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	20	.PRECIOUS: $(OUT)/FOL $(OUT)/LCF

author	wenzelm
	Tue, 06 May 1997 15:27:35 +0200
changeset 3118	24dae6222579
parent 3057	a5a42ff18a40
child 3505	1cb4ea47d967
permissions	-rw-r--r--