src/FOL/IsaMakefile
author wenzelm
Tue, 07 Jan 1997 09:00:26 +0100
changeset 2472 e5b407ff3100
parent 2433 91016075afe8
child 2821 b1dcacc4bc26
permissions -rw-r--r--
minor tuning; added thy_data.ML cladata.ML;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2433
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
     1
#
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
     2
# $Id$
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
     3
#
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
     4
# IsaMakefile for FOL
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
     5
#
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
     6
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
     7
OUT = $(ISABELLE_OUTPUT_DIR)
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
     8
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
     9
FILES =	ROOT.ML IFOL.thy IFOL.ML FOL.thy FOL.ML intprover.ML simpdata.ML \
2472
e5b407ff3100 minor tuning;
wenzelm
parents: 2433
diff changeset
    10
	thy_data.ML cladata.ML \
2433
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
    11
	../Provers/hypsubst.ML ../Provers/classical.ML \
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
    12
	../Provers/simplifier.ML ../Provers/splitter.ML ../Provers/ind.ML
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
    13
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
    14
EX_NAMES = If List Nat Nat2 Prolog declIffOracle IffOracle
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
    15
EX_FILES = ex/ROOT.ML ex/cla.ML ex/foundn.ML ex/int.ML ex/intro.ML \
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
    16
	   ex/prop.ML ex/quant.ML $(EX_NAMES:%=ex/%.thy) $(EX_NAMES:%=ex/%.ML)
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
    17
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
    18
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
    19
$(OUT)/FOL: $(OUT)/Pure $(FILES)
2472
e5b407ff3100 minor tuning;
wenzelm
parents: 2433
diff changeset
    20
	@$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu $(OUT)/Pure FOL
2433
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
    21
	@chmod -w $@
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
    22
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
    23
$(OUT)/Pure:
2472
e5b407ff3100 minor tuning;
wenzelm
parents: 2433
diff changeset
    24
	@cd ../Pure; $(ISATOOL) make
2433
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
    25
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
    26
test: ex/ROOT.ML $(OUT)/FOL $(EX_FILES)
2472
e5b407ff3100 minor tuning;
wenzelm
parents: 2433
diff changeset
    27
	@$(ISATOOL) testdir $(OUT)/FOL ex
2433
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
    28
91016075afe8 IsaMakefile for FOL;
wenzelm
parents:
diff changeset
    29
.PRECIOUS: $(OUT)/Pure $(OUT)/FOL