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

[Maurizio Cimadamore]

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

> These are quality of life improvements I think.

I don't object to wanting to improve the quality of the build process experience. At the same time I'm worried about doing something (like this PR does) which might work well in some cases, and not at all in others, at which point you need to have _two_ ways to do the same thing, which leads to a more complex build.

My feeling is that a more principled approach, if we really aim for quality of life, would be to keep the parameters, but add a section where we infer which artifacts (JDK, libclang) we need depending on the arch/OS, and then fetch them automatically (but users can override if they so wish).

That said, I have no super strong opinions on this. I suppose we could also try this out and see how it works out in practice, and correct if/when needed.

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

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