chore: Upgrade to wasi-sdk-20 (#607)

Author: elliottt

.github/workflows/main.yml

@@ -81,13 +81,13 @@ jobs:
         sudo apt-get update -y
         bash ./build-engine.sh ${{ matrix.profile }}
 
-    - name: "Install wasi-sdk-19 (linux)"
+    - name: "Install wasi-sdk-20 (linux)"
       run: |
         set -x
-        curl -sS -L -O https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-19/wasi-sdk-19.0-linux.tar.gz
-        tar xf wasi-sdk-19.0-linux.tar.gz
+        curl -sS -L -O 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
         sudo mkdir -p /opt/wasi-sdk
-        sudo mv wasi-sdk-19.0/* /opt/wasi-sdk/
+        sudo mv wasi-sdk-20.0/* /opt/wasi-sdk/
 
     - name: "Install Binaryen (linux)"
       run: |

.github/workflows/release-please.yml

@@ -120,13 +120,13 @@ jobs:
           cd runtime/spidermonkey/
           bash ./build-engine.sh release
 
-      - name: "Install wasi-sdk-19 (linux)"
+      - name: "Install wasi-sdk-20 (linux)"
         run: |
           set -x
-          curl -sS -L -O https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-19/wasi-sdk-19.0-linux.tar.gz
-          tar xf wasi-sdk-19.0-linux.tar.gz
+          curl -sS -L -O 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
           sudo mkdir -p /opt/wasi-sdk
-          sudo mv wasi-sdk-19.0/* /opt/wasi-sdk/
+          sudo mv wasi-sdk-20.0/* /opt/wasi-sdk/
 
       - name: "Install Binaryen (linux)"
         run: |

.vscode/c_cpp_properties.json

@@ -26,4 +26,4 @@
         }
     ],
     "version": 4
-}
+}

DEVELOPMENT.md

@@ -47,13 +47,13 @@ In addition you need to have the following tools installed to successfully build
   ```sh
   cargo install cbindgen
   ```
-- [wasi-sdk, version 19](https://github.com/WebAssembly/wasi-sdk/releases/tag/wasi-sdk-19),
+- [wasi-sdk, version 20](https://github.com/WebAssembly/wasi-sdk/releases/tag/wasi-sdk-20),
   with alternate [install instructions](https://github.com/WebAssembly/wasi-sdk#install)
   ```sh
-  curl -sS -L -O https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-19/wasi-sdk-19.0-linux.tar.gz
-  tar xf wasi-sdk-19.0-linux.tar.gz
+  curl -sS -L -O 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
   sudo mkdir -p /opt/wasi-sdk
-  sudo mv wasi-sdk-19.0/* /opt/wasi-sdk/
+  sudo mv wasi-sdk-20.0/* /opt/wasi-sdk/
   ```
 
 Once that is done, the runtime and the CLI tool for applying it to JS source code can be built using npm: