This distribution of E 2.0 (Turzum) has been compiled according to the
"README" file included in the official version from
http://wwwlehre.dhbw-stuttgart.de/~sschulz/E/Download.html.

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

The Linux executables were built on a 64-bit installation of Ubuntu 12.04.5
LTS running in VirtualBox. The Mac executables were built on a 64-bit macOS
10.10 machine called "macbroy31". The Windows executables were built on a
64-bit Windows Server 2012 machine called "vmnipkow9", using Cygwin64. All the
executables were "strip"ped.

The macOS compilation required changing the line

    pages = sysconf(_SC_PHYS_PAGES);

in "BASICS/clb_error.c" to

    pages = -1;

A selection of the executables in "PROVER/" were moved to the
platform-specific target directory (e.g., "x86_64-linux"). The "eproof_ram"
script was 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
        16 May 2018
