RFR: 7903136: Don't require jdk18_home to be set in jextract gradle build

Tue Mar 29 11:56:04 UTC 2022

On Tue, 29 Mar 2022 09:54:53 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> and assuming that ides work better with toolchains

That does not seem to be the case, unfortunately. That is, IDE needs the "installation path" property to be set - but, as for the current property, IntelliJ does not allow to easily add gradle properties. So, from an IDE usability perspective, using toolchains w/o auto-download is the same as what we currently have.

-------------

PR: https://git.openjdk.java.net/jextract/pull/9