internal renaming in Nitpick and fixed Kodkodi invokation on Linux;
renamed Nitpick's ML structures from NitpickXxx to Nitpick_Xxx and added KODKODI_JAVA_LIBRARY_PATH to LD_LIBRARY_PATH before invoking Kodkodi
This distribution of E 1.0-004 has been compiled according to the
README included in the official version from
http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html
$ tar xvzf E.tgz
$ cd E
$ ./configure
$ make
The resulting PROVER/eproof executable has been changed to be
relocatable:
$ diff eproof-orig eproof
1c1
< #!/bin/bash -f
---
> #!/usr/bin/env bash
3c3,4
< EXECPATH=/Users/schulz/SOURCES/Projects/E/PROVER
---
> set -o noglob
> EXECPATH="$(cd "$(dirname "$0")"; pwd)"
Now the main executables in PROVER/ are moved to the platform-specific
target directory (E/x86-linux etc.).
Makarius
07-Apr-2009