BuildingTheFactJniLibrary
From Protege Wiki
Handling Problems with FaCT++ not Finding Libraries
In Progress...
Note that if you do this on a Mac then Xcode 2.2 or greater is recommended in order to get a universal binary.
First checkout FaCT++ with the command line call:
svn checkout http://factplusplus.googlecode.com/svn/trunk/ factplusplus.
We now need to edit the Makefile.include to use the options associated with the correct version of gcc. First we find the version of gcc with the command line
gcc -v
On my linux machine the result was
Reading specs from /usr/lib/gcc/i386-redhat-linux/3.4.6/specs Configured with: ../configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --enable-shared --enable-threads=posix --disable-checking --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions --enable-java-awt=gtk --host=i386-redhat-linux Thread model: posix gcc version 3.4.6 20060404 (Red Hat 3.4.6-9)
So I modified the Makefile.include so that the GENERAL_DEFINES were
GENERAL_DEFINES = $(GCC_OPT_OPT) $(GCC_34_OPT) $(ALL_DEF)
Now much of the building progresses fine. But it seems that building the jnilibrary does not work on most machines. So here are some machine specific options for how to finish the build.
Linking the JNI Library in os x.
The commands
cd FaCT++.JNI g++ -dynamiclib -framework JavaVM -I/System/Library/Frameworks/JavaVM.framework/Headers \ obj/FaCTPlusPlus.o ../Kernel/obj/*.o ../Bdd/obj/*.o -o obj/FaCTPlusPlus.jnilib
seem to work - I am testing it now.