use wasi-sdk-20

yamt · Apr 3, 2023 · 382fad9 · 382fad9
1 parent b1e2f68
commit 382fad9
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/scripts/install.sh b/scripts/install.sh
@@ -2,9 +2,9 @@
 
 set -euo pipefail
 
-WASI_VERSION=17
-WASI_VERSION_FULL=${WASI_VERSION}.7gafa685ef7a50
-wget https://github.com/yamt/wasi-sdk/releases/download/yamt-20221229/wasi-sdk-${WASI_VERSION_FULL}-linux.tar.gz
+WASI_VERSION=20
+WASI_VERSION_FULL=${WASI_VERSION}.0
+wget https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-${WASI_VERSION}/wasi-sdk-${WASI_VERSION_FULL}-linux.tar.gz
 tar xvf wasi-sdk-${WASI_VERSION_FULL}-linux.tar.gz
 rm wasi-sdk-${WASI_VERSION_FULL}-linux.tar.gz
 mv wasi-sdk-${WASI_VERSION_FULL} wasi-sdk