src/Cube/IsaMakefile
author wenzelm
Wed May 12 14:17:26 2010 +0200 (2010-05-12 ago)
changeset 36862 952b2b102a0a
parent 28500 4b79e5d3d0aa
child 42138 e54a985daa61
permissions -rw-r--r--
removed obsolete CVS Ids;
wenzelm@2487
     1
#
wenzelm@2487
     2
# IsaMakefile for Cube
wenzelm@2487
     3
#
wenzelm@2487
     4
wenzelm@4518
     5
## targets
wenzelm@4518
     6
wenzelm@17453
     7
default: Pure-Cube
wenzelm@17453
     8
images:
wenzelm@17453
     9
test: Pure-Cube
wenzelm@4518
    10
all: images test
wenzelm@4518
    11
wenzelm@4518
    12
wenzelm@4518
    13
## global settings
wenzelm@4518
    14
wenzelm@4518
    15
SRC = $(ISABELLE_HOME)/src
wenzelm@3118
    16
OUT = $(ISABELLE_OUTPUT)
wenzelm@4447
    17
LOG = $(OUT)/log
wenzelm@4447
    18
wenzelm@4518
    19
wenzelm@17453
    20
## Pure-Cube
wenzelm@4518
    21
wenzelm@17453
    22
Pure-Cube: Pure $(LOG)/Pure-Cube.gz
wenzelm@2487
    23
wenzelm@4518
    24
Pure:
wenzelm@28500
    25
	@cd $(SRC)/Pure; $(ISABELLE_TOOL) make Pure
wenzelm@4518
    26
wenzelm@17453
    27
$(LOG)/Pure-Cube.gz: $(OUT)/Pure Cube.thy Example.thy ROOT.ML
wenzelm@28500
    28
	@cd ..; $(ISABELLE_TOOL) usedir $(OUT)/Pure Cube
wenzelm@2487
    29
wenzelm@4518
    30
wenzelm@4518
    31
## clean
wenzelm@4447
    32
wenzelm@4447
    33
clean:
wenzelm@17453
    34
	@rm -f $(LOG)/Pure-Cube.gz