GNU bug report logs - #40387
[PATCH] gnu: Set JAVA_HOME for all Java development kits.

Previous Next

Full log

View this message in rfc822 format

From: Christopher Baines <mail <at> cbaines.net>
To: Pierre Neidhardt <mail <at> ambrevar.xyz>
Cc: 40387 <at> debbugs.gnu.org
Subject: [bug#40387] [PATCH] gnu: Set JAVA_HOME for all Java development kits.
Date: Fri, 18 Dec 2020 11:17:35 +0000

[Message part 1 (text/plain, inline)]

Pierre Neidhardt <mail <at> ambrevar.xyz> writes:

> * gnu/packages/java.scm (icedtea-6, icedtea-7, openjdk9)[native-search-paths]:
>   Set JAVA_HOME to "jre".
>   This fixes issues for which the Java tooling could not find Jars,
>   e.g. tools.jar.

Which tools have you observed not to work? I tried running javac and I
got the help output at least.

Thanks,

Chris

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.