[pkg-java] r3873 - in trunk/maven2/debian: . patches

[Michael Koch]

On Thu, Jul 19, 2007 at 04:22:35PM +0200, Trygve Laugstøl wrote:
> > ++if [ -z "$M2_HOME" ] ; then
> > ++  M2_HOME="/usr/share/maven2"
> > ++fi
> > ++
> > ++if [ -z "$JAVA_HOME" ] ; then
> > ++  JAVA_HOME="/usr"
> > ++fi
> 
> That one is most likely not going to work as /usr isn't a standard Java 
> home.
> 
> Maven assumes it can find tools.jar under $JAVA_HOME/lib/tools.jar IIRC.

Then it might make sense to handle a link called /usr/lib/tools.jar to
/etc/alternatives/tools.jar to the tools.jar of the default JDK via
update-java-alternatives. What we would like to have is that 
JAVA_HOME=/usr uses the system default JRE/JDK. Whatever it is.


Cheers,
Michael
-- 
 .''`.  | Michael Koch <konqueror at gmx.de>
: :' :  | Free Java Developer <http://www.classpath.org>
`. `'   |
  `-    | 1024D/BAC5 4B28 D436 95E6 F2E0 BD11 5923 A008 2763 483B