Build instructions for the Diderot compiler

===============
PREREQUISITES
===============
You must have TEEM installed, which you can get from

  http://teem.sourceforge.net/download/index.html

You also must have SML/NJ (version 110.73) installed, which you can
get from

  http://smlnj.org/dist/working/110.73/index.html

Diderot is currently supported on Linux and Mac OS X.  It requires a system that is
capable of running 64-bit executables.

===============
SOURCE CHECKOUT
===============
You can checkout the stable version of the Diderot source tree with:

  svn co https://svn.smlnj-gforge.cs.uchicago.edu/svn/diderot/trunk diderot

An anonymous checkout is available via user name "anonsvn" and
password "anonsvn".  At times, there may also be unstable or
experimental development branches.  You can explore these using the
web interface at

  https://smlnj-gforge.cs.uchicago.edu/scm/viewvc.php/?root=diderot

===============
CONFIGURATION
===============

Run autoheader:

  % autoheader -Iconfig

Run autoconf:

  % autoconf -Iconfig

Configure the makefiles etc.

  % ./configure --with-teem=/path/to/teem

where "/path/to/teem" is the full path of the directory
containing the "lib" and "include" directories containing
"libteem.{a,so,dylib}" and "teem/*.h", respectively.

===============
INSTALLATION
===============

From the root of the Diderot tree, run

  % make local-install

This command will build the Diderot compiler (bin/diderotc) and
runtime support.

<script type="text/javascript">//<![CDATA[
		function toggle_ffErrors() {
			var errorsblock = document.getElementById("ffErrorsBlock");
			var errorsgroup = document.getElementById("ffErrors");
			if (errorsblock.style.display == "none") {
				errorsblock.style.display = "block";
				errorsgroup.style.right = "10px";
			} else {
				errorsblock.style.display = "none";
				errorsgroup.style.right = "300px";
			}
		}
//]]></script>
<div id="ffErrors">
<a href="javascript:toggle_ffErrors();">Click to toggle</a>
<div id="ffErrorsBlock">
	<div class="error">does not end with &lt;/html&gt; tag</div>
	<div class="error">does not end with &lt;/body&gt; tag</div>
	<div class="info">The output has ended thus: make local-install

This command will build the Diderot compiler (bin/diderotc) and
runtime support.</div>
</div></div>
</body></html>