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