equal
deleted
inserted
replaced
1 |
|
2 This distribution of SPASS 3.0 has been compiled according to the |
|
3 INSTALL instructions of the official source download from |
|
4 http://www.spass-prover.org |
|
5 |
|
6 The following example is for x86-linux: |
|
7 |
|
8 $ tar xvzf spass30.tgz |
|
9 $ cd SPASS-3.0 |
|
10 $ ./configure --prefix="$HOME/tmp/spass" --exec-prefix="$HOME/tmp/spass/x86-linux" |
|
11 $ make |
|
12 $ make install |
|
13 |
|
14 |
|
15 The x86-darwin platform works the same; use "make distclean" before |
|
16 reconfiguration. |
|
17 |
|
18 Native x86_64 is avoided here, due to numerous compiler warnings about |
|
19 int/pointer casts of different size. The x86 binaries are used |
|
20 instead. |
|
21 |
|
22 For x86-cygwin we have removed the "__inline__" configuration to |
|
23 workaround a problem with "___sgetc_r": |
|
24 |
|
25 diff configure-orig configure |
|
26 3522c3522 |
|
27 < CFLAGS="-O3 -D__inline__=" |
|
28 --- |
|
29 > CFLAGS="-O3" |
|
30 |
|
31 |
|
32 Makarius |
|
33 30-Oct-2009 |
|