Re: Problem with the Debian policy for Java

2014-11-09 Thread Emmanuel Bourg
Hi Bill, This is an interesting point. May I ask why you need to install a JRE extension? Is this for a package you intend to upload in the Debian archive or for your private usage? AFAIK this extension mechanism is rarely used, and it is going to be removed in Java 9 as part of the JEP 220, so I

Re: Problem with the Debian policy for Java

2014-11-09 Thread Markus Koschany
On 08.11.2014 22:17, Bill Zaumen wrote: [...] > The problem is that extensions are really java libraries but the > Debian policy for libraries does not cover them as it does not allow > the libraries to be installed in the correct location. Either that > policy needs to be modified or a new sectio

Problem with the Debian policy for Java

2014-11-08 Thread Bill Zaumen
The Java extension mechanism (see http://docs.oracle.com/javase/tutorial/ext/basics/install.html ) requires that jar files containing libraries, not applications, be installed in a standard directory. For Linux, this directory is /usr/java/packages/lib/ext - this directory is the default one used