author | wenzelm |
Wed, 15 Feb 2006 21:34:55 +0100 | |
changeset 19046 | bc5c6c9b114e |
parent 17453 | eccff680177d |
child 24877 | 81147215a12c |
permissions | -rw-r--r-- |
# # $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