#!/usr/bin/env bash
# Downloads the jextract early-access build for JDK 25 (linux-x64) from jdk.java.net and checks its SHA-256. Unpacks into ./tools.
set -euo pipefail
cd "$(dirname "$0")/.."; mkdir -p tools; cd tools
F="openjdk-25-jextract+2-4_linux-x64_bin.tar.gz"
U="https://download.java.net/java/early_access/jextract/25/2/$F"
[ -s "$F" ] || curl -sSLO "$U"
want="$(curl -sSL "$U.sha256" | cut -d' ' -f1)"; got="$(sha256sum "$F" | cut -d' ' -f1)"
[ "$want" = "$got" ] && echo "sha256 ok  $got" || { echo "SHA256 MISMATCH"; exit 1; }
tar xzf "$F"; echo "jextract at $(pwd)/jextract-25/bin/jextract"