author | blanchet |
Wed, 03 Nov 2010 22:33:23 +0100 | |
changeset 40342 | 3154f63e2bda |
parent 36862 | 952b2b102a0a |
child 42138 | e54a985daa61 |
permissions | -rw-r--r-- |
# # 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; $(ISABELLE_TOOL) make Pure $(LOG)/Pure-Cube.gz: $(OUT)/Pure Cube.thy Example.thy ROOT.ML @cd ..; $(ISABELLE_TOOL) usedir $(OUT)/Pure Cube ## clean clean: @rm -f $(LOG)/Pure-Cube.gz