<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>Hi Duncan,<br>
see <a class="moz-txt-link-freetext" href="https://git.openjdk.org/jextract/pull/271">https://git.openjdk.org/jextract/pull/271</a></p>
<p>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).</p>
<p>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.</p>
<p>Maurizio<br>
</p>
<div class="moz-cite-prefix">On 20/01/2025 12:56, Duncan Gittins
wrote:<br>
</div>
<blockquote type="cite" cite="mid:CABOqcFv1vRA0oqt42h_fu0KUWr=dwXdnJDmqxvq8CHuU5OUmUw@mail.gmail.com">
<div dir="ltr">
<div>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</div>
<div><br>
</div>
<div>
<div>The jextract 22 generated code depends on JDK23 API
because of:</div>
</div>
<div>
<div style="background-color:rgb(255,255,255);padding:0px 0px 0px 2px">
<div style="color:rgb(0,0,0);background-color:rgb(255,255,255);font-family:"Consolas";font-size:10pt;white-space:pre"><p style="margin:0px"><span style="color:rgb(0,0,0)"></span><span style="color:rgb(127,0,85);font-weight:bold">static</span><span style="color:rgb(0,0,0)"> MemorySegment findOrThrow(String </span><span style="color:rgb(106,62,62)">symbol</span><span style="color:rgb(0,0,0)">) {</span></p><p style="margin:0px"><span style="color:rgb(0,0,0)"> </span><span style="color:rgb(127,0,85);font-weight:bold">return</span><span style="color:rgb(0,0,0)"> </span><span style="color:rgb(0,0,192);font-style:italic;font-weight:bold">SYMBOL_LOOKUP</span><span style="color:rgb(0,0,0)">.findOrThrow(</span><span style="color:rgb(106,62,62)">symbol</span><span style="color:rgb(0,0,0)">);</span></p><p style="margin:0px"><span style="color:rgb(0,0,0)"> }</span></p><p style="margin:0px">
</p></div>
</div>
</div>
<div>
<div>Perhaps it is time to update the version as "jextract 23"
and post new build to <a href="https://jdk.java.net/" moz-do-not-send="true" class="moz-txt-link-freetext">https://jdk.java.net/</a>
or allow target=22|23?</div>
<div><br>
</div>
<div>Kind regards</div>
<div><br>
</div>
<div>Duncan</div>
</div>
<br>
<div><br>
</div>
</div>
</blockquote>
</body>
</html>