This distribution of SPASS 3.8ds, described in Blanchette, Popescu, Wand, and
Weidenbach's ITP 2012 paper "More SPASS with Isabelle", has been compiled from
sources available at https://www.cs.vu.nl/~jbe248/spass-3.8ds-src.tar.gz.

    $ tar zxvf spass-3.8ds-src.tar.gz
    $ cd spass-3.8ds-src
    $ make

The Linux executables were built on an unidentified 64-bit Linux machine. The
Mac executables were built on a 64-bit macOS 10.10 machine called "macbroy31".
The Windows executables were built on a 64-bit Windows Server 2012 machine
called "vmnipkow9", using Cygwin64. All the executables were "strip"ped.

The Windows compilation required commenting out the line

    #include "execinfo.h"

in "misc.c" as well as most of the body of the "misc_DumpCore" function.

The latest official SPASS sources can be downloaded from
http://www.spass-prover.org/. Be aware, however, that the official SPASS
releases are not compatible with Isabelle.


Viel SPASS!


        Jasmin Blanchette
        16 May 2018
