src/Cube/IsaMakefile
author wenzelm
Wed Jan 08 12:48:46 1997 +0100 (1997-01-08 ago)
changeset 2487 4f0bf2936bc0
child 2819 ebeacfa0e56b
permissions -rw-r--r--
IsaMakefile for Cube;
wenzelm@2487
     1
#
wenzelm@2487
     2
# $Id$
wenzelm@2487
     3
#
wenzelm@2487
     4
# IsaMakefile for Cube
wenzelm@2487
     5
#
wenzelm@2487
     6
wenzelm@2487
     7
OUT = $(ISABELLE_OUTPUT_DIR)
wenzelm@2487
     8
FILES =	ROOT.ML Cube.thy Cube.ML
wenzelm@2487
     9
wenzelm@2487
    10
$(OUT)/Cube: $(OUT)/Pure $(FILES)
wenzelm@2487
    11
	@$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu $(OUT)/Pure Cube
wenzelm@2487
    12
	@chmod -w $@
wenzelm@2487
    13
wenzelm@2487
    14
$(OUT)/Pure:
wenzelm@2487
    15
	@cd ../Pure; $(ISATOOL) make
wenzelm@2487
    16
wenzelm@2487
    17
test: ex.ML $(OUT)/Cube
wenzelm@2487
    18
	@$(ISABELLE) -e 'make_html := $(ISABELLE_HTML); use"ex.ML"; quit();' \
wenzelm@2487
    19
	  -rq $(OUT)/Cube
wenzelm@2487
    20
wenzelm@2487
    21
.PRECIOUS: $(OUT)/Pure $(OUT)/Cube