Re: Setting JAVA_HOME
On Sun, 28 Feb 2021, Geert Stappers wrote:
> To what should JAVA_HOME be set?
It should be unset. Also ideally, you have only ever one JRE installed.
Everything else is a nightmare.
To make this work with Java >8 and Maven, you’ll need¹…
<profile>
<id>jre-not-below-jdk</id>
<activation>
<file>
<exists>${java.home}/bin/javadoc</exists>
</file>
</activation>
<build>
<plugins>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-javadoc-plugin</artifactId>
<configuration>
<javadocExecutable>${java.home}/bin/javadoc</javadocExecutable>
</configuration>
</plugin>
</plugins>
</build>
</profile>
… or the Debian-patched version of the maven-javadoc-plugin.
bye,
//mirabilos
① see https://evolvis.org/plugins/scmgit/cgi-bin/gitweb.cgi?p=tartools/mvnparent.git
or use…
<parent>
<groupId>org.evolvis.tartools</groupId>
<artifactId>maven-parent</artifactId>
<version>2.1</version>
</parent>
--
Infrastrukturexperte • tarent solutions GmbH
Rochusstraße 2-4, D-53123 Bonn • http://www.tarent.de/
Telephon +49 228 54881-393 • Fax: +49 228 54881-235
HRB AG Bonn 5168 • USt-ID (VAT): DE122264941
Geschäftsführer: Dr. Stefan Barth, Kai Ebenrett, Boris Esser, Alexander Steeg
*************************************************
Mit dem tarent-Newsletter nichts mehr verpassen: www.tarent.de/newsletter
*************************************************
Reply to: