Community
Participate
Working Groups
Created attachment 137849 [details] patch for build on macosx The patches posted to fix the build system for the Mac OSX port all contained an error in the linking stage. Posted a patch to repair this Hopefully after this patch is committed, contributors will be able to check out the code from CVS and compile/begin working without much hassle.
Overview of the changes: 1. Separated out the make files. That is, the mac platform now has it's own separate make files which can be identified by the _mac suffix 2. Fixed the linking error in all the make files 3. In the 'top level' build_tptp_ac.script file, added a Mac target and created a new variable so that we can switch between gmake and make (depending on the platform)
Jonathan, Please review and commit after TPTP 4.6 is done.
Patch is good.
wonderful patch. I was hoping we could do this, similar to the solaris port. This probably replaces the build patch from the tarred patch I posted on #68111
Patch committed to HEAD.
As of TPTP 4.6.0, TPTP is in maintenance mode and focusing on improving quality by resolving relevant enhancements/defects and increasing test coverage through test creation, automation, Build Verification Tests (BVTs), and expanded run-time execution. As part of the TPTP Bugzilla housecleaning process (see http://wiki.eclipse.org/Bugzilla_Housecleaning_Processes), this enhancement/defect is verified/closed by the Project Lead since this enhancement/defect has been resolved and unverified for more than 1 year and considered to be fixed. If this enhancement/defect is still unresolved and reproducible in the latest TPTP release (http://www.eclipse.org/tptp/home/downloads/), please re-open.