mirror of
https://github.com/jedisct1/libsodium.git
synced 2024-12-19 10:05:05 -07:00
Update wasi-sdk and use rust-beta, currently required to build wasmtime
This commit is contained in:
parent
203220116a
commit
7ce1e62919
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user