jextract 23

[Maurizio Cimadamore]

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>