Admin/E/README
changeset 25432 5538dea9474e
child 27031 504b6f597233
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/E/README	Wed Nov 14 16:22:44 2007 +0100
@@ -0,0 +1,31 @@
+
+This distribution of E 0.999 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
+  $ make install
+  $ make install-exec
+
+The resulting eproof executable has been changed to be relocatable:
+
+  $ diff eproof-orig eproof
+  1c1
+  < #!/bin/bash -f
+  ---
+  > #!/usr/bin/env bash
+  3c3,4
+  < EXECPATH=~/bin
+  ---
+  > set -o noglob
+  > EXECPATH="$(cd "$(dirname "$0")"; pwd)"
+
+Now all executables are moved to the platform-specific target
+directory (e.g. E/x86-linux).
+
+
+	Makarius
+	14-Nov-2007
+
+$Id$