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