FACT++ ver. 1.1 and 1.1.11 resoners crash Protege 4.0 alpha on Mac OS X 10.4.11

[Dmitry Tsarkov]

Original [issue 11](https://code.google.com/p/factplusplus/issues/detail?id=11) created by dtsarkov on 2008-04-16T23:29:17.000Z:

I load the pizza.owl ontology into Protege 4.0 alpha running on a MacBook Pro Core 2 Duo machine under OS X 10.4.11, then I select the FACT++ reasoner. This crashes Protege. Here is the crash log:

Host Name: RRL-MacBookPro Date/Time: 2008-04-17 01:12:18.815 +0200 OS Version: 10.4.11 (Build 8S2167) Report Version: 4

Command: Protege Path: /Users/richard/Applications/Protege_4.0_alpha/Protege 4.0 alpha.app/Contents/MacOS/Protege Parent: WindowServer [56]

Version: ??? (8.0)

PID: 795 Thread: Unknown

Link (dyld) error:

Symbol not found: _clock$UNIX2003 Referenced from: /Users/richard/Applications/Protege_4.0_alpha/configuration/org.eclipse.osgi/bundles/11/1/.c p/lib/native/libFaCTPlusPlusJNI.jnilib Expected in: /usr/lib/libSystem.B.dylib

Selecting the Pellet reasoner instead does not produce this crash. I found ver. 1.1.11 and substituted it for ver. 1.1 build 9 in the plugin folder, but the results were the same and the Help

About ... window displayed "ver. 1.1 build 9".

Thanks, Richard [e-mail]

[Dmitry Tsarkov]

Comment [#1](https://code.google.com/p/factplusplus/issues/detail?id=11#c1) originally posted by dtsarkov on 2008-04-18T19:54:04.000Z:

This issue is the same for a G4 running tiger (the error is identical). There apparently is some difference between the libraries in tiger vs. leopard. I figured that if I could build the file on tiger then we could use that for tiger machines and the problem would be solved (XCode 2.5). My current status is that Kernel and Bdd build fine but I am having trouble with FaCT++.JNI. The command

CPATH=/System/Library/Frameworks/JavaVM.framework/Headers make

dies when trying the step

g++ -shared -Wl,-h,libFaCTPlusPlusJNI.so -o obj/libFaCTPlusPlusJNI.so obj/FaCTPlusPlus.o -L../Kernel -L../Bdd -static-libgcc -lKernel -lBdd

and the error is

powerpc-apple-darwin8-g++-4.0.1: unrecognized option '-shared' /usr/libexec/gcc/powerpc-apple-darwin8/4.0.1/ld: unknown flag: -h collect2: ld returned 1 exit status make: * [obj/libFaCTPlusPlusJNI.so] Error 1

Timothy [e-mail]

[Dmitry Tsarkov]

Comment [#2](https://code.google.com/p/factplusplus/issues/detail?id=11#c2) originally posted by dtsarkov on 2008-04-18T20:20:30.000Z:

According to the release notes of Protégé 4, build 58: "The only change in this build is a recompiled version of a FaCT++ JNI library. The library in the previous build was causing problems with FaCT++ on older versions of the Mac OS." I can only surmise that the problem might have been the same in build 57. Perhaps there's an indication in the preparation of build 58 how to circumvent the problem you're experiencing building FACT++.JNI for Tiger.

Regards, Richard

[Dmitry Tsarkov]

Comment [#3](https://code.google.com/p/factplusplus/issues/detail?id=11#c3) originally posted by dtsarkov on 2008-10-07T21:11:31.000Z:

Fixed in 1.2.0; it is necessary to pass -mmacosx-version-min=10.4 to GCC in order to make binaries compatible with OS X 10.4