Date: 9th September 2009
Source: Rob Arthan rda@lemma-one.com
Purpose: Makes ProofPower version 2.8.1 work with 64-bit architectures
Description:
This patch makes the ProofPower packages compatible with developer kits
such as the Xcode tools supplied with Mac OS X 10.6 that default to
64-bit compilation.

To apply, patch the source as usual, e.g.,:

        cd $HOME/bld/OpenProofPower-2.8.1
        gunzip -c /tmp/patch-2.8.1.rda.090909.gz | patch -p1 -b -B orig/

Then follow the usual instructions for installation in the README file.

Alternatively a patched version of the source is supplied on the ProofPower
website for download. See:

http://www.lemma-one.com/ProofPower/getting/versions/OpenProofPower-2.8.1p1.tgz