Building maven packages

2016-11-01 Thread Wookey
Hi chaps and chapesses, I am trying to package javalution: http://javolution.org/ code at: https://svn.java.net/svn/javolution~svn I am very vague about java in general (I don't use the language), but have sucessfully packaged stuff which uses makefiles and ant, using java-helper. However maven

Re: The value of java.library.path

2016-11-01 Thread tony mancill
On Tue, Nov 01, 2016 at 07:51:35PM -0600, Marko Dimjašević wrote: > 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

The value of java.library.path

2016-11-01 Thread Marko Dimjašević
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 t