[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

The value of java.library.path



Greetings all,

I was curious what is the assumed value of java.library.path in Debian
and consequently where should Debian packages install JNI libraries.

In particular, I realized that the libz3-jni_4.4.1-0.3_amd64.deb binary
package (built from the z3 source package) installs its libz3java.so to:

/usr/lib/x86_64-linux-gnu/jni/libz3java.so

However, when I use a Java library that depends on the Z3 JNI, it fails
with this error:

java.lang.UnsatisfiedLinkError: no libz3java in java.library.path


Then if I manually put a hard copy of libz3java.so to /usr/lib/jni the
Java library works.


I'd like to fix this error in the z3 source package.


-- 
Regards,
Marko Dimjašević <marko@dimjasevic.net>
https://dimjasevic.net/marko          PGP key ID: 1503F0AA
Learn email self-defense! https://emailselfdefense.fsf.org

Attachment: signature.asc
Description: This is a digitally signed message part


Reply to: