isabelle: src/LCF/IsaMakefile@8fa554c7a0bc (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)
8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	11	@$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu -c $(OUT)/FOL LCF
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
8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	17	test: ex.ML $(OUT)/LCF
8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	18	@$(ISABELLE) -e 'make_html := $(ISABELLE_HTML); use"ex.ML"; quit();' \
8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	19	-rq $(OUT)/LCF
8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	20
8fa554c7a0bc IsaMakefile for LCF; wenzelm parents: diff changeset	21	.PRECIOUS: $(OUT)/FOL $(OUT)/LCF

author	wenzelm
	Wed, 08 Jan 1997 12:58:17 +0100
changeset 2488	8fa554c7a0bc
child 2821	b1dcacc4bc26
permissions	-rw-r--r--