src/Cube/IsaMakefile
author wenzelm
Wed Jan 07 13:53:42 1998 +0100 (1998-01-07 ago)
changeset 4518 74c01296e818
parent 4447 b7ee449eb345
child 4583 6d9be46ea566
permissions -rw-r--r--
improved targets;
fixed dependencies on parent logics;
wenzelm@2487
     1
#
wenzelm@2487
     2
# $Id$
wenzelm@2487
     3
#
wenzelm@2487
     4
# IsaMakefile for Cube
wenzelm@2487
     5
#
wenzelm@2487
     6
wenzelm@4518
     7
## targets
wenzelm@4518
     8
wenzelm@4518
     9
default: Cube
wenzelm@4518
    10
images: Cube
wenzelm@4518
    11
test: Cube-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
## Cube
wenzelm@4518
    23
wenzelm@4518
    24
Cube: Pure $(OUT)/Cube
wenzelm@2487
    25
wenzelm@4518
    26
Pure:
wenzelm@4518
    27
	@cd $(SRC)/Pure; $(ISATOOL) make Pure
wenzelm@4518
    28
wenzelm@4518
    29
$(OUT)/Cube: $(OUT)/Pure Cube.ML Cube.thy ROOT.ML
wenzelm@2819
    30
	@$(ISATOOL) usedir -b $(OUT)/Pure Cube
wenzelm@2487
    31
wenzelm@4518
    32
wenzelm@4518
    33
## Cube-ex
wenzelm@2487
    34
wenzelm@4518
    35
Cube-ex: Cube $(LOG)/Cube-ex.gz
wenzelm@4518
    36
wenzelm@4518
    37
$(LOG)/Cube-ex.gz: $(OUT)/Cube ex/ex.ML ex/ROOT.ML
wenzelm@2819
    38
	@$(ISATOOL) usedir $(OUT)/Cube ex
wenzelm@2487
    39
wenzelm@4518
    40
wenzelm@4518
    41
## clean
wenzelm@4447
    42
wenzelm@4447
    43
clean:
wenzelm@4518
    44
	@rm -f $(OUT)/Cube $(LOG)/Cube.gz $(LOG)/Cube-ex.gz