|
25432
|
1 |
|
|
27031
|
2 |
This distribution of E 0.999-006 has been compiled according to the
|
|
|
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
|
|
|
8 |
$ make install
|
|
|
9 |
$ make install-exec
|
|
|
10 |
|
|
|
11 |
The resulting eproof executable has been changed to be relocatable:
|
|
|
12 |
|
|
|
13 |
$ diff eproof-orig eproof
|
|
|
14 |
1c1
|
|
|
15 |
< #!/bin/bash -f
|
|
|
16 |
---
|
|
|
17 |
> #!/usr/bin/env bash
|
|
|
18 |
3c3,4
|
|
|
19 |
< EXECPATH=~/bin
|
|
|
20 |
---
|
|
|
21 |
> set -o noglob
|
|
|
22 |
> EXECPATH="$(cd "$(dirname "$0")"; pwd)"
|
|
|
23 |
|
|
|
24 |
Now all executables are moved to the platform-specific target
|
|
|
25 |
directory (e.g. E/x86-linux).
|
|
|
26 |
|
|
|
27 |
|
|
|
28 |
Makarius
|
|
27031
|
29 |
31-May-2008
|
|
25432
|
30 |
|
|
|
31 |
$Id$
|