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

Tue Mar 29 11:12:55 UTC 2022

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

> I would disable auto-provisioning out of the box though

That makes sense.

> Assuming we can make everything work (e.g. moditect plugin does not honor toolchain AFAIK)

I've never used moditect, and I haven't looked up alternatives either, but it might be possible such tools have options like `jvm`, `jdk`, `jdkHome`.

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

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