Difference between revisions of "Notes on Building AC on Mac OS X"

Revision as of 15:33, 26 April 2008

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]

With the patch from the bug above the CBE compiles on OS X 10.4 x86. I had to move some files into their places but that was all.

Then to test it the Unit test script is supposed to be run. The patch included a darwin version of the script: UT_CBE_DarwinPPC.sh But to run it a sample.xml file is needed. It seems the sample.xml file can be generated by running the Sample program which is also built when the CBE is built. When running this Sample program OS X reported a double free error. After a little experimentation I tracked it down to a problem in Sample.c itself, it wasn't an issue with the CBE. Here is the issue describing this bug in Sample.c [6]