
TempEst Version 1.3 Installation Procedure
==========================================

First, modify the file called 'configure' in the top directory of
the distribution to the settings appropriate for your site.

If you downloaded the binaries, then type:

	make bin-install

If you downloaded the sources:

	make all
	make install

Note that you will need SML/NJ version 110 (or versions around 109.2*) from

	ftp://ftp.research.bell-labs.com:/dist/smlnj/working

if you want to recompile from sources. Due to the evolving nature of the
SML/NJ runtime system, if you want to compile from sources, you need to
first produce an SML heap (make all does it). The you have two options:

	Run the programs (tl2strl and occheck) as follows (for instance
	from a little script):

		sml @SMLload=tl2strl.heap.sparc-solaris [your options]

	Or you can build an executable (make all attempts this by default).

If you want to build an executable, a program called "heap2exec" is needed,
also available from ftp://ftp.research.bell-labs.com:/dist/smlnj/working.
If you experience trouble with this program or with building
the sml runtime in "standalone" form, please contact me at
cpg@cs.utexas.edu for tips and general help.

Check the file Esterel-Compiler for information on how to get an
Esterel compiler at your site.

Send any problems or comments to cpg@cs.utexas.edu.
