Apparently, wasi-sdk-9 only works on Ubuntu 18.04

azure-pipelines.yml

@@ -7,7 +7,7 @@ pr: none
 jobs:
   - job: "wasi"
     pool:
-      vmImage: "ubuntu-16.04"
+      vmImage: "ubuntu-18.04"
     steps:
       - script: |
           sudo apt-get install build-essential curl cmake
@@ -16,8 +16,8 @@ jobs:
           curl https://get.wasmer.io -sSfL | sh
         displayName: Install wasmer
       - script: |
-          curl -sL -o wasi-sdk.deb https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-8/wasi-sdk_8.0_amd64.deb
-          sudo dpkg -i wasi-sdk.deb && rm -f wasi-sdk.deb
+          curl -sL -o - https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-9/wasi-sdk-9.0-linux.tar.gz | tar xz -f - -C /opt/
+          sudo mv /opt/wasi-sdk-* /opt/wasi-sdk
           sudo ln -s /opt/wasi-sdk/share/*sysroot* /opt/wasi-sysroot
         displayName: Install the WASI SDK
       - script: |