Update wasi-sdk to version 20

tniessen · May 29, 2023 · 33e8b40 · 33e8b40
1 parent ab63efa
commit 33e8b40
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -15,10 +15,10 @@ jobs:
           submodules: recursive
       - name: Install wasi-sdk
         run: |
-          wget --no-verbose 'https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-12/wasi-sdk-12.0-linux.tar.gz'
-          tar xf wasi-sdk-12.0-linux.tar.gz
-          rm wasi-sdk-12.0-linux.tar.gz
-          echo "$(pwd)/wasi-sdk-12.0/bin" >> $GITHUB_PATH
+          wget --no-verbose 'https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-20/wasi-sdk-20.0-linux.tar.gz'
+          tar xf wasi-sdk-20.0-linux.tar.gz
+          rm wasi-sdk-20.0-linux.tar.gz
+          echo "$(pwd)/wasi-sdk-20.0/bin" >> $GITHUB_PATH
       - name: Install binaryen
         run: |
           wget --no-verbose 'https://github.com/WebAssembly/binaryen/releases/download/version_113/binaryen-version_113-x86_64-linux.tar.gz'

diff --git a/build.sh b/build.sh
@@ -88,7 +88,7 @@ echo "Compiling WebAssembly"
 clang -flto -Os -Wall -Wextra \
       -Wno-unused-function \
       --target=wasm32-unknown-wasi \
-      --sysroot wasi-sdk-12.0/share/wasi-sysroot/ \
+      --sysroot wasi-sdk-20.0/share/wasi-sysroot/ \
       -Wl,--export-all \
       -Wl,--no-entry \
       -nostartfiles \