Re: Bug#163390: JNI Installation Directories (again)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
> > My argument for /usr/lib/jni is that other programs aren't going to want
> > to link with them, so it's better not to clutter up the default shared
> > library paths.
>
> And I assume that no changes have to be made in /etc/ld.so.conf (or
> similar)?
Correct; no changes are necessary.
> > Yep, that and to also have the JVMs support this single place by
> > including it in the default java.library.path.
>
> Is this possible?
Sure. If nothing else, you can do it by replacing your java runtime command
with a short startup script that looks for -Djava.library.path=foo on the
command line. If such a path is given (and does not contain /usr/lib/jni),
modify this option to be -Djava.library.path=/usr/lib/jni:foo. If no such
path is given, add an extra option -Djava.library.path=/usr/lib/jni. Then
call your real java runtime command with your new modified set of options.
Ben.
- --
Ben Burton
benb@acm.org | bab@debian.org
Public Key: finger bab@db.debian.org
There is only one thing in the world worse than being talked about, and
that is not being talked about.
- Oscar Wilde
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.1 (GNU/Linux)
iD8DBQE9xjOOMQNuxza4YcERAsQzAKCMUs74cxHT+32L9Sk+m6HlLOIedQCfWZ3V
Wr+oU5tbwVassFyEwVctWNQ=
=KWC2
-----END PGP SIGNATURE-----
Reply to: