equal
deleted
inserted
replaced
1 |
1 |
2 This distribution of E 0.999-006 has been compiled according to the |
2 This distribution of E 1.0-004 has been compiled according to the |
3 README included in the official version from |
3 README included in the official version from |
4 http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html |
4 http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html |
5 |
5 |
6 $ tar xvzf E.tgz |
6 $ tar xvzf E.tgz |
7 $ cd E |
7 $ cd E |
8 $ make install |
8 $ ./configure |
9 $ make install-exec |
9 $ make |
10 |
10 |
11 The resulting eproof executable has been changed to be relocatable: |
11 The resulting PROVER/eproof executable has been changed to be |
|
12 relocatable: |
12 |
13 |
13 $ diff eproof-orig eproof |
14 $ diff eproof-orig eproof |
14 1c1 |
15 1c1 |
15 < #!/bin/bash -f |
16 < #!/bin/bash -f |
16 --- |
17 --- |
17 > #!/usr/bin/env bash |
18 > #!/usr/bin/env bash |
18 3c3,4 |
19 3c3,4 |
19 < EXECPATH=~/bin |
20 < EXECPATH=/Users/schulz/SOURCES/Projects/E/PROVER |
20 --- |
21 --- |
21 > set -o noglob |
22 > set -o noglob |
22 > EXECPATH="$(cd "$(dirname "$0")"; pwd)" |
23 > EXECPATH="$(cd "$(dirname "$0")"; pwd)" |
23 |
24 |
24 Now all executables are moved to the platform-specific target |
25 Now the main executables in PROVER/ are moved to the platform-specific |
25 directory (e.g. E/x86-linux). |
26 target directory (E/x86-linux etc.). |
26 |
27 |
27 |
28 |
28 Makarius |
29 Makarius |
29 31-May-2008 |
30 07-Apr-2009 |
30 |
|
31 $Id$ |
|