jextract 23
Maurizio Cimadamore
maurizio.cimadamore at oracle.com
Mon Jan 20 13:22:27 UTC 2025
Hi Duncan,
see https://git.openjdk.org/jextract/pull/271
I believe the version number in the download page is a bit confusing,
but I believe that, for now, it's consistent with what it supports (note
that the version in the downcload page doesn't depend on 23 I believe).
I'd prefer not to have a specific target -- e.g. I'd like for latest
jextract to always target latest JDK. Earlier versions of jextract are
made available in the download page, so, if necessary, they can be
fetched from there.
Maurizio
On 20/01/2025 12:56, Duncan Gittins wrote:
> I've just updated my environment to try latest jextract. Running
> "build\jextract\bin\jextract.bat --version" prints "jextract 22" and
> it runs with built in JDK22
>
> The jextract 22 generated code depends on JDK23 API because of:
>
> staticMemorySegment findOrThrow(String symbol) {
>
> returnSYMBOL_LOOKUP.findOrThrow(symbol);
>
> }
>
> Perhaps it is time to update the version as "jextract 23" and post new
> build to https://jdk.java.net/ or allow target=22|23?
>
> Kind regards
>
> Duncan
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/panama-dev/attachments/20250120/0c29c386/attachment.htm>
More information about the panama-dev
mailing list