Skip to content

Commit 6d27805

Browse files
authored
Install WASI SDK 21 instead of 16 and update Wasmtime
1 parent ed0c486 commit 6d27805

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

wasicontainer/install-wasi.sh

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
#! /bin/bash -ex
22

33
WASI_SDK_VERSIONS=(
4-
# 16 for 3.11 & 3.12 is special-cased below.
4+
# 21 for 3.11 & 3.12 is special-cased below.
55
24 # 3.13 (w/ special symlinking below), 3.14
66
29 # 3.15
77
)
8-
WASMTIME_VERSION="38.0.4"
8+
WASMTIME_VERSION="39.0.1"
99

1010
WASI_SDK_ROOT=/opt
1111

@@ -14,7 +14,7 @@ mkdir --parents ${WASI_SDK_ROOT}
1414
# For 3.11, 3.12.
1515
# There is no Arm support for WASI SDK < 23.
1616
if [ "${TARGETARCH}" = "amd64" ]; then
17-
URL=https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-16/wasi-sdk-16.0-linux.tar.gz
17+
URL=https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-16/wasi-sdk-21.0-linux.tar.gz
1818
curl --location $URL | tar --directory ${WASI_SDK_ROOT} --extract --gunzip
1919
fi
2020

0 commit comments

Comments
 (0)