# HG changeset patch
# User haftmann
# Date 1256924001 -3600
# Node ID 2912bf1871baf1f7c97fb1bbf7ebb46a377952de
# Parent  1d11893b0d74df2de1333e2728a91873f86e3ded# Parent  b0096ac3b731d90a61e18a3b8ca9fb1477e2e33e
merged

diff -r b0096ac3b731 -r 2912bf1871ba Admin/spass/README
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/spass/README	Fri Oct 30 18:33:21 2009 +0100
@@ -0,0 +1,33 @@
+
+This distribution of SPASS 3.0 has been compiled according to the
+INSTALL instructions of the official source download from
+http://www.spass-prover.org
+
+The following example is for x86-linux:
+
+  $ tar xvzf spass30.tgz
+  $ cd SPASS-3.0
+  $ ./configure --prefix="$HOME/tmp/spass" --exec-prefix="$HOME/tmp/spass/x86-linux"
+  $ make
+  $ make install
+
+
+The x86-darwin platform works the same; use "make distclean" before
+reconfiguration.
+
+Native x86_64 is avoided here, due to numerous compiler warnings about
+int/pointer casts of different size.  The x86 binaries are used
+instead.
+
+For x86-cygwin we have removed the "__inline__" configuration to
+workaround a problem with "___sgetc_r":
+
+diff configure-orig configure
+3522c3522
+<   CFLAGS="-O3 -D__inline__="
+---
+>   CFLAGS="-O3"
+
+
+        Makarius
+        30-Oct-2009