Admin/E/README
author wenzelm
Wed, 25 Mar 2009 21:34:31 +0100
changeset 30720 6d8dcfb264dc
parent 27031 504b6f597233
child 30881 2b9af1f237db
permissions -rw-r--r--
tuned;


This distribution of E 0.999-006 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
	31-May-2008

$Id$