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

[Athijegannathan Sundararajan]

On Mon, 28 Mar 2022 17:51:48 GMT, Jorn Vernee <jvernee at openjdk.org> wrote:

> 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).

But the assumption is that jextract "18" will build and work with jdk18+ - which will not true after foreign-preview branch hits mainline. I think it is better to call "jdk18", "jdk19" explicitly till the point foreign-abi API becomes part of specification in some future jdk. At that point, we can have jdk<N>+ check.

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

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