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;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
25432
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
     1
27031
504b6f597233 updated to E 0.999-006;
wenzelm
parents: 25432
diff changeset
     2
This distribution of E 0.999-006 has been compiled according to the
504b6f597233 updated to E 0.999-006;
wenzelm
parents: 25432
diff changeset
     3
README included in the official version from
25432
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
     4
http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
     5
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
     6
  $ tar xvzf E.tgz
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
     7
  $ cd E
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
     8
  $ make install
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
     9
  $ make install-exec
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    10
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    11
The resulting eproof executable has been changed to be relocatable:
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    12
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    13
  $ diff eproof-orig eproof
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    14
  1c1
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    15
  < #!/bin/bash -f
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    16
  ---
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    17
  > #!/usr/bin/env bash
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    18
  3c3,4
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    19
  < EXECPATH=~/bin
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    20
  ---
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    21
  > set -o noglob
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    22
  > EXECPATH="$(cd "$(dirname "$0")"; pwd)"
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    23
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    24
Now all executables are moved to the platform-specific target
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    25
directory (e.g. E/x86-linux).
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    26
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    27
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    28
	Makarius
27031
504b6f597233 updated to E 0.999-006;
wenzelm
parents: 25432
diff changeset
    29
	31-May-2008
25432
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    30
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    31
$Id$