On Tue, 21 Jan 2025 18:53:33 GMT, Nizar Benalla <nbenalla@openjdk.org> wrote:
We've updated native makefile to use JDK 23 (https://github.com/openjdk/jextract/commit/0b89a462146940a2ec90e34eeb5df3d46...), build.gradle works & expects jdk 23, it still refers to JDK var as "jdk22_home" and passes --release to be 22. Also jextract version is "22".
The mismatch has caused [some confusion](https://mail.openjdk.org/pipermail/panama-dev/2025-January/020915.html).
This patch to rename references to `jdk22_home` to `jdk_home`, the jextract version has now been bumped to `23`.
This PR has been obtained through a `git merge --squash` of #271.
TIA
This pull request has now been integrated. Changeset: 7ed79ecd Author: Nizar Benalla <nbenalla@openjdk.org> Committer: Jorn Vernee <jvernee@openjdk.org> URL: https://git.openjdk.org/jextract/commit/7ed79ecdf678db804f40b3494b6f1dafa760... Stats: 14 lines in 4 files changed: 2 ins; 0 del; 12 mod 7903928: update build.gradle to use JDK 23 Co-authored-by: Athijegannathan Sundararajan <sundar@openjdk.org> Reviewed-by: sundar ------------- PR: https://git.openjdk.org/jextract/pull/275