isabelle: src/LCF/IsaMakefile@a5a42ff18a40 (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
8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	7	OUT = $(ISABELLE_OUTPUT_DIR)
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
	Fri, 25 Apr 1997 15:24:07 +0200
changeset 3057	a5a42ff18a40
parent 2821	b1dcacc4bc26
child 3118	24dae6222579
permissions	-rw-r--r--