Update WASI SDK and Wasmtime versions (#68) · python/cpython-devcontainers@07288a1

GitHub

Original file line numberDiff line numberDiff line change@@ -1,11 +1,13 @@

11#! /bin/bash -ex

223+# https://github.com/WebAssembly/wasi-sdk/releases

34WASI_SDK_VERSIONS=(

45# 21 for 3.11 & 3.12 is special-cased below.

56 24 # 3.13 (w/ special symlinking below), 3.14

6-29# 3.15

7+30# 3.15

78)

8-WASMTIME_VERSION="39.0.1"

9+# https://github.com/bytecodealliance/wasmtime/releases

10+WASMTIME_VERSION="41.0.3"

9111012WASI_SDK_ROOT=/opt

1113