This distribution of E 1.8 (Gopaldhara) has been compiled according to
the "README" file included in the official version from
http://www4.informatik.tu-muenchen.de/~schulz/E/Download.html.

    $ tar zxvf E.tgz
    $ cd E
    $ ./configure
    $ make

The Linux executables were built on a 64-bit Ubuntu 10.04 machine called
"lxhalle". The Mac OS X executables were built on a 64-bit Mac OS X 10.6 (Snow
Leopard) machine called "macbroy2". The Windows executable were built on
a 32-bit virtual installation of Windows XP.

32-bit executables for Linux and Mac OS X were built by adding "-m32" to
"ARCHFLAGS" and "LDFLAGS" in "Makefile.vars". The executables were "strip"ped.

A selection of the executables in "PROVER/" were moved to the
platform-specific target directory (e.g., "x86-linux"). The "eproof"
script is slightly modified to use the correct path. The distribution also
includes Josef Urban's "runepar.pl" script, modified to use the correct
path.


Enjoy!


        Jasmin Blanchette
        13 August 2013
