Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "Notes on Building AC on Mac OS X"
| Line 33: | Line 33: | ||
# downloaded: [http://archive.apache.org/dist/xml/xerces-c/Xerces-C_2_7_0/source/xerces-c-src_2_7_0.tar.gz] | # downloaded: [http://archive.apache.org/dist/xml/xerces-c/Xerces-C_2_7_0/source/xerces-c-src_2_7_0.tar.gz] | ||
# followed commandline directions: <tt>xerces-c-src_2_7_0/doc/html/build-other.html#Mac</tt> | # followed commandline directions: <tt>xerces-c-src_2_7_0/doc/html/build-other.html#Mac</tt> | ||
| + | |||
| + | == Build/Install CBE SDK == | ||
| + | |||
| + | <pre> | ||
| + | 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. | ||
| + | </pre> | ||
| + | |||
| + | There is not a prebuilt CBE SDK for OS X. There is a patch on the bug listed above. | ||
Revision as of 16:16, 25 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
- downloaded: [3]
- followed commandline directions: xerces-c-src_2_6_0/doc/html/build-other.html#Mac
- 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
- downloaded: [4]
- 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.