From 417c3d994c31ca479afd03e6cec8e76c13090977 Mon Sep 17 00:00:00 2001 From: Brett Cannon Date: Wed, 19 Nov 2025 10:03:46 -0800 Subject: [PATCH] Swap out WASI SDK 25 for 29 https://github.com/python/cpython/commit/9b69a55be32fa85da5a08a519ebed6aa3b31ec3a --- wasicontainer/install-wasi.sh | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/wasicontainer/install-wasi.sh b/wasicontainer/install-wasi.sh index 8a00aac..2e6130c 100644 --- a/wasicontainer/install-wasi.sh +++ b/wasicontainer/install-wasi.sh @@ -15,11 +15,12 @@ case "${TARGETARCH}" in *) echo "Unsupported TARGETARCH: ${TARGETARCH}" && exit 1 ;; esac && \ -# 24: 3.13, 3.14 -# 25: 3.15 -# The URL format only works for WASI SDK >= 23. -WASI_SDK_VERSIONS=(24 25) +WASI_SDK_VERSIONS=( + 24 # 3.13, 3.14 + 29 # 3.15 +) for VERSION in "${WASI_SDK_VERSIONS[@]}"; do + # The URL format only works for WASI SDK >= 23. 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 done