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

[Jorn Vernee]

On Mon, 28 Mar 2022 17:40:50 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> But maybe there are some advantages - e.g.. maybe in terms of friendliness w.r.t. IDE support?

That too. I looked at it a bit yesterday, and it doesn't seem like IntelliJ supports specifying flags to it's Gradle build.

JAVA_HOME can also be set on shell startup, which would avoid having to set anything at all. Or, at least it would only have to be set once per shell session.

These are quality of life improvements I think.

Being able to manually specify the JDK is reasonable though. I can keep a `-Pjdk` flag, and adjust the version check to check for 18+ instead of exactly 18 (not sure how easy that is for EA versions though, maybe the check should just be dropped).

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

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