search

HefesT / factplusplus

Automatically exported from code.google.com/p/factplusplus
0 stars 0 forks source link

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

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
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/bun
dles/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
richard.liu@pueo-owl.ch

Original issue reported on code.google.com by richard....@gmail.com on 16 Apr 2008 at 11:29

GoogleCodeExporter commented 8 years ago 

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
tredmond@stanford.edu

Original comment by tredmon...@gmail.com on 18 Apr 2008 at 7:54

GoogleCodeExporter commented 8 years ago 
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

Original comment by richard....@gmail.com on 18 Apr 2008 at 8:20

GoogleCodeExporter commented 8 years ago 
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

Original comment by dmitry.t...@gmail.com on 7 Oct 2008 at 9:11