Notes on Building AC on Mac OS X

This page is intended to document progress on getting TPTP running on OS X.

This bug ([1]) has some disscussion about getting TPTP working on Mac OS X. There is a lot of community interest and even volunteers. There is a patch to build the RAC and CBE. But the TPTP maintainers need a patch for the new tech AC. In the bug this is referred to as SNN. In the TPTP documentation this is referred to as the AC.

This comment of that bug has details about building the native code. [2]

Specifically it points to the "Linux Build Instructions" in the following file as the place to start for building the AC (SNN): org.eclipse.tptp.platform.agentcontroller/src-native-new/bin/readme.txt

It seems no single person has enough time or interest to get this working, but if we each do a little and document as we go perhaps we can make it happen. Below are notes about trying to follow the Linux build instructions on OS X.

Build/Install Xerces-C

1) Build/install the Xerces-C++ XML Parser v2.6, following the instructions on
the http://xml.apache.org/xerces-c website.

Set the environment variable XERCESC_HOME to point to the directory containing
the Xerces include and lib directories.

v2.6 is an old version xerces-c the current version is 2.8. Attempting to compile 2.6 did not work on 10.4.11

1. downloaded: [3]
2. followed commandline directions: xerces-c-src_2_6_0/doc/html/build-other.html#Mac
3. got the following errors:

MacOSUnicodeConverter.cpp:78: error: 'static' may not be used when defining (as opposed to declaring) a static data member
MacOSUnicodeConverter.cpp:84: error: 'static' may not be used when defining (as opposed to declaring) a static data member

v2.7 builds successfully on 10.4.11

1. downloaded: [4]
2. followed commandline directions: xerces-c-src_2_7_0/doc/html/build-other.html#Mac

Build/Install CBE SDK

2) Download the current CBE SDK from the from the download site at
http://www.eclipse.org/tptp/home/downloads/downloads.php
(i.e., cbe.linux_<platform>.sdk-<timestamp>.zip) and unzip that package into a
directory, then set the environment variable CBE_SDK_HOME to point to that
directory.

There is not a prebuilt CBE SDK for OS X. There is a patch on the bug listed above. There does not seem to be a source download for the CBE. There source appears to be in eclipse CVS here: platform/org.eclipse.tptp.platform.logging.events/src.native/ There is a README.txt with instructions for building: CommonBaseEvent/README.txt It has an out of data CVS location for the source. Here is the issue to get that fixed [5]