src/FOL/IsaMakefile
author wenzelm
Thu Aug 27 20:46:36 1998 +0200 (1998-08-27)
changeset 5400 645f46a24c72
parent 4685 9259feeeb2c8
child 7355 4c43090659ca
permissions -rw-r--r--
made tutorial first;
wenzelm@2433
     1
#
wenzelm@2433
     2
# $Id$
wenzelm@2433
     3
#
wenzelm@2433
     4
# IsaMakefile for FOL
wenzelm@2433
     5
#
wenzelm@2433
     6
wenzelm@4518
     7
## targets
wenzelm@4518
     8
wenzelm@4518
     9
default: FOL
wenzelm@4518
    10
images: FOL
wenzelm@4518
    11
test: FOL-ex
wenzelm@4518
    12
all: images test
wenzelm@4518
    13
wenzelm@4518
    14
wenzelm@4518
    15
## global settings
wenzelm@4518
    16
wenzelm@4518
    17
SRC = $(ISABELLE_HOME)/src
wenzelm@3118
    18
OUT = $(ISABELLE_OUTPUT)
wenzelm@4447
    19
LOG = $(OUT)/log
wenzelm@2433
    20
paulson@3233
    21
wenzelm@4518
    22
## FOL
wenzelm@4518
    23
wenzelm@4518
    24
FOL: Pure $(OUT)/FOL
wenzelm@2433
    25
wenzelm@4518
    26
Pure:
wenzelm@4518
    27
	@cd $(SRC)/Pure; $(ISATOOL) make Pure
wenzelm@2433
    28
wenzelm@4685
    29
$(OUT)/FOL: $(OUT)/Pure $(SRC)/Provers/blast.ML	\
wenzelm@4685
    30
  $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \
wenzelm@4685
    31
  $(SRC)/Provers/hypsubst.ML $(SRC)/Provers/ind.ML \
wenzelm@4685
    32
  $(SRC)/Provers/simplifier.ML $(SRC)/Provers/splitter.ML FOL.ML \
wenzelm@4685
    33
  FOL.thy IFOL.ML IFOL.thy ROOT.ML cladata.ML fologic.ML intprover.ML \
wenzelm@4685
    34
  simpdata.ML
wenzelm@2821
    35
	@$(ISATOOL) usedir -b $(OUT)/Pure FOL
wenzelm@2433
    36
wenzelm@4518
    37
wenzelm@4518
    38
## FOL-ex
wenzelm@4518
    39
wenzelm@4518
    40
FOL-ex: FOL $(LOG)/FOL-ex.gz
wenzelm@2433
    41
wenzelm@4518
    42
$(LOG)/FOL-ex.gz: $(OUT)/FOL ex/If.ML ex/If.thy ex/IffOracle.ML \
wenzelm@4518
    43
  ex/IffOracle.thy ex/List.ML ex/List.thy ex/Nat.ML ex/Nat.thy \
wenzelm@4518
    44
  ex/Nat2.ML ex/Nat2.thy ex/Prolog.ML ex/Prolog.thy ex/ROOT.ML ex/cla.ML \
wenzelm@4518
    45
  ex/foundn.ML ex/int.ML ex/intro.ML ex/prop.ML ex/quant.ML
wenzelm@2821
    46
	@$(ISATOOL) usedir $(OUT)/FOL ex
wenzelm@2433
    47
wenzelm@4518
    48
wenzelm@4518
    49
## clean
wenzelm@4447
    50
wenzelm@4447
    51
clean:
wenzelm@4518
    52
	@rm -f $(OUT)/FOL $(LOG)/FOL.gz $(LOG)/FOL-ex.gz