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ć <ma...@dimjasevic.net> https://dimjasevic.net/marko PGP key ID: 1503F0AA Learn email self-defense! https://emailselfdefense.fsf.org
signature.asc
Description: This is a digitally signed message part
