diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 25242941..9f2d8438 100644 --- a/azure-pipelines.yml +++ b/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: |