src/Cube/IsaMakefile
author wenzelm
Sat Sep 17 12:50:57 2005 +0200 (2005-09-17 ago)
changeset 17453 eccff680177d
parent 17252 e352f65d5893
child 24877 81147215a12c
permissions -rw-r--r--
plain test session, includes example;
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@17453
     9
default: Pure-Cube
wenzelm@17453
    10
images:
wenzelm@17453
    11
test: Pure-Cube
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@17453
    22
## Pure-Cube
wenzelm@4518
    23
wenzelm@17453
    24
Pure-Cube: Pure $(LOG)/Pure-Cube.gz
wenzelm@2487
    25
wenzelm@4518
    26
Pure:
wenzelm@4518
    27
	@cd $(SRC)/Pure; $(ISATOOL) make Pure
wenzelm@4518
    28
wenzelm@17453
    29
Pure-Cube: Pure $(LOG)/Pure-Cube.gz
wenzelm@4518
    30
wenzelm@17453
    31
$(LOG)/Pure-Cube.gz: $(OUT)/Pure Cube.thy Example.thy ROOT.ML
wenzelm@17453
    32
	@cd ..; $(ISATOOL) usedir $(OUT)/Pure Cube
wenzelm@2487
    33
wenzelm@4518
    34
wenzelm@4518
    35
## clean
wenzelm@4447
    36
wenzelm@4447
    37
clean:
wenzelm@17453
    38
	@rm -f $(LOG)/Pure-Cube.gz