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 <[EMAIL PROTECTED]> : :' : | Free Java Developer <http://www.classpath.org> `. `' | `- | 1024D/BAC5 4B28 D436 95E6 F2E0 BD11 5923 A008 2763 483B _______________________________________________ pkg-java-maintainers mailing list [email protected] http://lists.alioth.debian.org/mailman/listinfo/pkg-java-maintainers
