$Id: README,v 2.8 1997/09/04 18:26:35 waite Exp $

This directory contains a source distribution of the Eli system.  In order
to make and install Eli, you MUST have a working implementation of Odin,
version 1.16 or later.  If Odin is not running on your machine, you must
install it before attempting to build Eli.

If Odin is running on your system, carry out the following sequence of
steps to build the Eli system:

1) Run the "configure" script
2) Type "make"

Steps (1) and (2) MUST be carried out either on the machine you intend
to run on or on one of the same architecture, running the same version
of the operating system, and with all additional software (e.g. Odin,
Tcl/Tk and all specified libraries) at the same locations in the file
system.

The complete generation typically takes about 2 hours on a SparcStation10
(1 hour on i586-90Mhz), if all build components and tools are on the
local machine.  The installation increases the size of the directory
containing this README to between 45 and 55Mb.  After the complete
system has been built, the command "make install DESTDIR=dirname" can 
be used to install the Eli-packages in the directory specified by 
dirname.

After building the system, you can consult the on-line documentation by
giving the command "pkg/info/info.sh" in the directory containing this
README.  The manual that will be most helpful to you in the early stages
is the "Guide for New Eli Users", which explains how Eli is used via a
simple example.

Mail concerning bug reports and installation problems should be sent
to:

	elibugs@cs.colorado.edu

For further information about Eli, consult our home page at:

	http://www.cs.colorado.edu/~eliuser
or 	http://www.uni-paderborn.de/project-hp/eli.html
or	http://www.cs.jcu.edu.au/~tony/eli.html

A mailing list devoted to discussions about Eli, announcements of bug
fixes, new features and releases and so on has been created.  If you
would like to add yourself to this mailing list, send a message consisting
of exactly the following line to "majordomo@cs.colorado.edu":

	subscribe eli

You may remove yourself from the list by sending a message consisting of
exactly the following line to "majordomo@cs.colorado.edu":

	unsubscribe eli

To send mail to everyone on the list, send to:

	eli@cs.colorado.edu

All mail of general interest to the Eli community should be sent to the
"eli" address.

Eli is free software.  See the files COPYING and COPYING.LIB for copying
conditions.
