Add WASI SDK 25 (#60)

Author: brettcannon

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

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