src/Cube/IsaMakefile
author wenzelm
Wed, 26 Jul 2006 00:44:44 +0200
changeset 20207 4c57e850e8d5
parent 17453 eccff680177d
child 24877 81147215a12c
permissions -rw-r--r--
added Pure/subgoal.ML;

#
# $Id$
#
# IsaMakefile for Cube
#

## targets

default: Pure-Cube
images:
test: Pure-Cube
all: images test


## global settings

SRC = $(ISABELLE_HOME)/src
OUT = $(ISABELLE_OUTPUT)
LOG = $(OUT)/log


## Pure-Cube

Pure-Cube: Pure $(LOG)/Pure-Cube.gz

Pure:
	@cd $(SRC)/Pure; $(ISATOOL) make Pure

Pure-Cube: Pure $(LOG)/Pure-Cube.gz

$(LOG)/Pure-Cube.gz: $(OUT)/Pure Cube.thy Example.thy ROOT.ML
	@cd ..; $(ISATOOL) usedir $(OUT)/Pure Cube


## clean

clean:
	@rm -f $(LOG)/Pure-Cube.gz