src/Sequents/IsaMakefile
author paulson
Mon Dec 07 18:26:25 1998 +0100 (1998-12-07)
changeset 6019 0e55c2fb2ebb
parent 4518 74c01296e818
child 6252 935f183bf406
permissions -rw-r--r--
tidying
wenzelm@2492
     1
#
wenzelm@2492
     2
# $Id$
wenzelm@2492
     3
#
wenzelm@2492
     4
# IsaMakefile for Sequents
wenzelm@2492
     5
#
wenzelm@2492
     6
wenzelm@4518
     7
## targets
wenzelm@4518
     8
wenzelm@4518
     9
default: Sequents
wenzelm@4518
    10
images: Sequents
wenzelm@4518
    11
test: Sequents-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@2492
    20
wenzelm@4518
    21
wenzelm@4518
    22
## Sequents
wenzelm@4518
    23
wenzelm@4518
    24
Sequents: Pure $(OUT)/Sequents
wenzelm@2492
    25
wenzelm@4518
    26
Pure:
wenzelm@4518
    27
	@cd $(SRC)/Pure; $(ISATOOL) make Pure
wenzelm@2492
    28
wenzelm@4518
    29
$(OUT)/Sequents: $(OUT)/Pure ILL.ML ILL.thy LK.ML LK.thy ROOT.ML S4.ML \
wenzelm@4518
    30
  S4.thy S43.ML S43.thy Sequents.thy T.ML T.thy prover.ML
wenzelm@2831
    31
	@$(ISATOOL) usedir -b $(OUT)/Pure Sequents
wenzelm@2492
    32
wenzelm@4518
    33
wenzelm@4518
    34
## Sequents-ex
wenzelm@4518
    35
wenzelm@4518
    36
Sequents-ex: Sequents $(LOG)/Sequents-ex.gz
wenzelm@2492
    37
wenzelm@4518
    38
$(LOG)/Sequents-ex.gz: $(OUT)/Sequents ex/ILL/ILL_kleene_lemmas.ML \
wenzelm@4518
    39
  ex/ILL/ILL_predlog.ML ex/ILL/ILL_predlog.thy ex/ILL/washing.ML \
wenzelm@4518
    40
  ex/ILL/washing.thy ex/LK/ROOT.ML ex/LK/hardquant.ML ex/LK/prop.ML \
wenzelm@4518
    41
  ex/LK/quant.ML ex/Modal/ROOT.ML ex/Modal/S43thms.ML ex/Modal/S4thms.ML \
wenzelm@4518
    42
  ex/Modal/Tthms.ML ex/ROOT.ML
wenzelm@2831
    43
	@$(ISATOOL) usedir $(OUT)/Sequents ex
wenzelm@2492
    44
wenzelm@4518
    45
wenzelm@4518
    46
## clean
wenzelm@4447
    47
wenzelm@4447
    48
clean:
wenzelm@4518
    49
	@rm -f $(OUT)/Sequents $(LOG)/Sequents.gz $(LOG)/Sequents-ex.gz