<!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>