src/Cube/IsaMakefile
author wenzelm
Sat Oct 04 16:05:09 2008 +0200 (2008-10-04 ago)
changeset 28500 4b79e5d3d0aa
parent 24877 81147215a12c
child 36862 952b2b102a0a
permissions -rw-r--r--
replaced ISATOOL by ISABELLE_TOOL;
     1 #
     2 # $Id$
     3 #
     4 # IsaMakefile for Cube
     5 #
     6 
     7 ## targets
     8 
     9 default: Pure-Cube
    10 images:
    11 test: Pure-Cube
    12 all: images test
    13 
    14 
    15 ## global settings
    16 
    17 SRC = $(ISABELLE_HOME)/src
    18 OUT = $(ISABELLE_OUTPUT)
    19 LOG = $(OUT)/log
    20 
    21 
    22 ## Pure-Cube
    23 
    24 Pure-Cube: Pure $(LOG)/Pure-Cube.gz
    25 
    26 Pure:
    27 	@cd $(SRC)/Pure; $(ISABELLE_TOOL) make Pure
    28 
    29 $(LOG)/Pure-Cube.gz: $(OUT)/Pure Cube.thy Example.thy ROOT.ML
    30 	@cd ..; $(ISABELLE_TOOL) usedir $(OUT)/Pure Cube
    31 
    32 
    33 ## clean
    34 
    35 clean:
    36 	@rm -f $(LOG)/Pure-Cube.gz