Notice: This Wiki is now read only and edits are no longer 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"
(New page: This page is intended to document progress on getting TPTP running on OS X. This bug ([https://bugs.eclipse.org/bugs/show_bug.cgi?id=68111]) has some disscussion about getting TPTP work...) |
|||
| Line 21: | Line 21: | ||
</pre> | </pre> | ||
| − | v2.6 is an old version xerces-c the current version is 2.8. Attempting to compile 2.6 did not work. | + | 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: [http://archive.apache.org/dist/xml/xerces-c/Xerces-C_2_6_0/xerces-c-src_2_6_0.tar.gz] | # downloaded: [http://archive.apache.org/dist/xml/xerces-c/Xerces-C_2_6_0/xerces-c-src_2_6_0.tar.gz] | ||
# followed commandline directions: <tt>xerces-c-src_2_6_0/doc/html/build-other.html#Mac</tt> | # followed commandline directions: <tt>xerces-c-src_2_6_0/doc/html/build-other.html#Mac</tt> | ||
| Line 29: | Line 29: | ||
MacOSUnicodeConverter.cpp:84: 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 | ||
</pre> | </pre> | ||
| + | |||
| + | v2.7 builds successfully on 10.4.11 | ||
| + | # 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> | ||
Revision as of 15:40, 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