src/LCF/IsaMakefile
author paulson
Mon Dec 07 18:26:25 1998 +0100 (1998-12-07)
changeset 6019 0e55c2fb2ebb
parent 4905 be73ddff6c5a
child 6213 f5bdd6497e08
permissions -rw-r--r--
tidying
wenzelm@2488
     1
#
wenzelm@2488
     2
# $Id$
wenzelm@2488
     3
#
wenzelm@2488
     4
# IsaMakefile for LCF
wenzelm@2488
     5
#
wenzelm@2488
     6
wenzelm@4518
     7
## targets
wenzelm@4518
     8
wenzelm@4518
     9
default: LCF
wenzelm@4518
    10
images: LCF
wenzelm@4518
    11
test: LCF-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@4447
    20
wenzelm@4518
    21
wenzelm@4518
    22
## LCF
wenzelm@4518
    23
wenzelm@4518
    24
LCF: FOL $(OUT)/LCF
wenzelm@2488
    25
wenzelm@4518
    26
FOL:
wenzelm@4518
    27
	@cd $(SRC)/FOL; $(ISATOOL) make FOL
wenzelm@4518
    28
wenzelm@4905
    29
$(OUT)/LCF: $(OUT)/FOL LCF.ML LCF.thy ROOT.ML fix.ML fix.thy pair.ML \
wenzelm@4905
    30
  pair.thy simpdata.ML
wenzelm@3057
    31
	@$(ISATOOL) usedir -b $(OUT)/FOL LCF
wenzelm@2488
    32
wenzelm@4518
    33
wenzelm@4518
    34
## LCF-ex
wenzelm@2488
    35
wenzelm@4518
    36
LCF-ex: LCF $(LOG)/LCF-ex.gz
wenzelm@4518
    37
wenzelm@4905
    38
$(LOG)/LCF-ex.gz: $(OUT)/LCF ex/Ex1.ML ex/Ex1.thy ex/Ex2.ML ex/Ex2.thy \
wenzelm@4905
    39
  ex/Ex3.ML ex/Ex3.thy ex/Ex4.ML ex/Ex4.thy ex/ROOT.ML
wenzelm@2821
    40
	@$(ISATOOL) usedir $(OUT)/LCF ex
wenzelm@2488
    41
wenzelm@4518
    42
wenzelm@4518
    43
## clean
wenzelm@4447
    44
wenzelm@4447
    45
clean:
wenzelm@4518
    46
	@rm -f $(OUT)/LCF $(LOG)/LCF.gz $(LOG)/LCF-ex.gz