From 7ce1e6291969236f643cdd5825c35d38be29c1c0 Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Thu, 29 Aug 2019 18:07:12 +0200 Subject: [PATCH] Update wasi-sdk and use rust-beta, currently required to build wasmtime --- azure-pipelines.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 04b2f9b1..d80f7f43 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -13,13 +13,13 @@ jobs: sudo apt-get install build-essential curl cmake displayName: Install system packages - script: | - curl https://sh.rustup.rs -sSf | sh -s -- -y + curl https://sh.rustup.rs -sSf | sh -s -- -y --channel=beta source ${HOME}/.cargo/env git clone --recursive https://github.com/CraneStation/wasmtime.git (cd wasmtime && cargo install --path .) displayName: Install wasmtime - script: | - curl -sL -o wasi-sdk.deb https://github.com/CraneStation/wasi-sdk/releases/download/wasi-sdk-5/wasi-sdk_5.0_amd64.deb + curl -sL -o wasi-sdk.deb https://github.com/CraneStation/wasi-sdk/releases/download/wasi-sdk-6/wasi-sdk_6.0_amd64.deb sudo dpkg -i wasi-sdk.deb && rm -f wasi-sdk.deb sudo ln -s /opt/wasi-sdk/share/*sysroot* /opt/wasi-sysroot displayName: Install the WASI SDK