From 2bac3466023bad2c7c6fc7d20b1a596a35cb784b Mon Sep 17 00:00:00 2001
From: Brett Cannon <brett@python.org>
Date: Wed, 22 Oct 2025 14:39:56 -0700
Subject: [PATCH] Add WASI SDK 25

---
 wasicontainer/Dockerfile      | 2 +-
 wasicontainer/install-wasi.sh | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/wasicontainer/Dockerfile b/wasicontainer/Dockerfile
index ad5c577..aded10d 100644
--- a/wasicontainer/Dockerfile
+++ b/wasicontainer/Dockerfile
@@ -11,7 +11,7 @@ ARG TARGETARCH
 # WASI SDK versions are controlled in install-wasi.sh.
 ENV WASI_SDK_ROOT=/opt
 
-ENV WASMTIME_VERSION=36.0.2
+ENV WASMTIME_VERSION=38.0.2
 ENV WASMTIME_HOME=/opt/wasmtime
 
 RUN mkdir -p /opt/cpython-devcontainer/bin
diff --git a/wasicontainer/install-wasi.sh b/wasicontainer/install-wasi.sh
index 408ac43..8a00aac 100644
--- a/wasicontainer/install-wasi.sh
+++ b/wasicontainer/install-wasi.sh
@@ -16,8 +16,9 @@ case "${TARGETARCH}" in
 esac && \
 
 # 24: 3.13, 3.14
+# 25: 3.15
 # The URL format only works for WASI SDK >= 23.
-WASI_SDK_VERSIONS=(24)
+WASI_SDK_VERSIONS=(24 25)
 for VERSION in "${WASI_SDK_VERSIONS[@]}"; do
     URL=https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-${VERSION}/wasi-sdk-${VERSION}.0-${WASI_ARCH}-linux.tar.gz
     curl --location $URL | tar --directory ${WASI_SDK_ROOT} --extract --gunzip