# HG changeset patch # User wenzelm # Date 852724126 -3600 # Node ID 4f0bf2936bc0ad340de71a7885bdb6a47c97e6d5 # Parent 750499529c05bd86c90b05490c01e22d47ed6379 IsaMakefile for Cube; diff -r 750499529c05 -r 4f0bf2936bc0 src/Cube/IsaMakefile --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Cube/IsaMakefile Wed Jan 08 12:48:46 1997 +0100 @@ -0,0 +1,21 @@ +# +# $Id$ +# +# IsaMakefile for Cube +# + +OUT = $(ISABELLE_OUTPUT_DIR) +FILES = ROOT.ML Cube.thy Cube.ML + +$(OUT)/Cube: $(OUT)/Pure $(FILES) + @$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu $(OUT)/Pure Cube + @chmod -w $@ + +$(OUT)/Pure: + @cd ../Pure; $(ISATOOL) make + +test: ex.ML $(OUT)/Cube + @$(ISABELLE) -e 'make_html := $(ISABELLE_HTML); use"ex.ML"; quit();' \ + -rq $(OUT)/Cube + +.PRECIOUS: $(OUT)/Pure $(OUT)/Cube