src/LCF/IsaMakefile
author oheimb
Fri Jun 02 20:38:28 2000 +0200 (2000-06-02)
changeset 9028 8a1ec8f05f14
parent 6213 f5bdd6497e08
child 17246 0f22089c6b9e
permissions -rw-r--r--
added HOL/Prolog
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@6213
    31
	@$(ISATOOL) usedir -b -r $(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