Admin/E/README
author wenzelm
Tue, 07 Apr 2009 21:25:42 +0200
changeset 30881 2b9af1f237db
parent 27031 504b6f597233
child 33869 0ec11efb9124
permissions -rw-r--r--
updates for E-1.0-004;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
25432
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
     1
30881
2b9af1f237db updates for E-1.0-004;
wenzelm
parents: 27031
diff changeset
     2
This distribution of E 1.0-004 has been compiled according to the
27031
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
30881
2b9af1f237db updates for E-1.0-004;
wenzelm
parents: 27031
diff changeset
     8
  $ ./configure
2b9af1f237db updates for E-1.0-004;
wenzelm
parents: 27031
diff changeset
     9
  $ make
25432
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    10
30881
2b9af1f237db updates for E-1.0-004;
wenzelm
parents: 27031
diff changeset
    11
The resulting PROVER/eproof executable has been changed to be
2b9af1f237db updates for E-1.0-004;
wenzelm
parents: 27031
diff changeset
    12
relocatable:
25432
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    13
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    14
  $ diff eproof-orig eproof
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    15
  1c1
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    16
  < #!/bin/bash -f
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    17
  ---
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    18
  > #!/usr/bin/env bash
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    19
  3c3,4
30881
2b9af1f237db updates for E-1.0-004;
wenzelm
parents: 27031
diff changeset
    20
  < EXECPATH=/Users/schulz/SOURCES/Projects/E/PROVER
25432
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    21
  ---
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    22
  > set -o noglob
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    23
  > EXECPATH="$(cd "$(dirname "$0")"; pwd)"
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    24
30881
2b9af1f237db updates for E-1.0-004;
wenzelm
parents: 27031
diff changeset
    25
Now the main executables in PROVER/ are moved to the platform-specific
2b9af1f237db updates for E-1.0-004;
wenzelm
parents: 27031
diff changeset
    26
target directory (E/x86-linux etc.).
25432
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    27
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    28
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    29
	Makarius
30881
2b9af1f237db updates for E-1.0-004;
wenzelm
parents: 27031
diff changeset
    30
	07-Apr-2009