Admin/E/README
author haftmann
Tue, 12 May 2009 19:30:33 +0200
changeset 31125 80218ee73167
parent 30881 2b9af1f237db
child 33869 0ec11efb9124
permissions -rw-r--r--
transferred code generator preprocessor into separate module


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