src/CTT/Makefile
changeset 0 a5a9c433f639
child 101 d4730dd72226
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/CTT/Makefile	Thu Sep 16 12:20:38 1993 +0200
     1.3 @@ -0,0 +1,43 @@
     1.4 +#########################################################################
     1.5 +#									#
     1.6 +# 			Makefile for Isabelle (CTT)			#
     1.7 +#									#
     1.8 +#########################################################################
     1.9 +
    1.10 +#To make the system, cd to this directory and type  
    1.11 +#	make -f Makefile 
    1.12 +#To make the system and test it on standard examples, type  
    1.13 +#	make -f Makefile test
    1.14 +
    1.15 +#Environment variable ISABELLECOMP specifies the compiler.
    1.16 +#Environment variable ISABELLEBIN specifies the destination directory.
    1.17 +#For Poly/ML, ISABELLEBIN must begin with a /
    1.18 +
    1.19 +#Makes pure Isabelle (Pure) if this file is ABSENT -- but not 
    1.20 +#if it is out of date, since this Makefile does not know its dependencies!
    1.21 +
    1.22 +BIN = $(ISABELLEBIN)
    1.23 +COMP = $(ISABELLECOMP)
    1.24 +FILES = 	ROOT.ML ctt.thy ctt.ML bool.thy bool.ML \
    1.25 +		arith.thy arith.ML rew.ML ../Provers/typedsimp.ML
    1.26 +
    1.27 +$(BIN)/CTT:   $(BIN)/Pure  $(FILES) 
    1.28 +	case "$(COMP)" in \
    1.29 +	poly*)	echo 'make_database"$(BIN)/CTT"; quit();'  \
    1.30 +			| $(COMP) $(BIN)/Pure;\
    1.31 +		echo 'open PolyML; use"ROOT";' | $(COMP) $(BIN)/CTT ;;\
    1.32 +	sml*)	echo 'use"ROOT.ML"; xML"$(BIN)/CTT" banner;' | $(BIN)/Pure ;;\
    1.33 +	*)	echo Bad value for ISABELLECOMP;;\
    1.34 +	esac
    1.35 +
    1.36 +$(BIN)/Pure:
    1.37 +	cd ../Pure;  $(MAKE)
    1.38 +
    1.39 +test:   ex/ROOT.ML $(BIN)/CTT
    1.40 +	case "$(COMP)" in \
    1.41 +	poly*)	echo 'use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/CTT ;;\
    1.42 +	sml*)	echo 'use"ex/ROOT.ML";' | $(BIN)/CTT;;\
    1.43 +	*)	echo Bad value for ISABELLECOMP;;\
    1.44 +	esac
    1.45 +
    1.46 +.PRECIOUS:  $(BIN)/Pure  $(BIN)/CTT