1
mirror of https://github.com/jedisct1/libsodium.git synced 2024-12-19 10:05:05 -07:00

Pipelines: use wasi-sdk-9

This commit is contained in:
Frank Denis 2020-04-07 09:48:12 +02:00
parent 2eecfde5b8
commit 4fee277ee4

View File

@ -16,7 +16,7 @@ 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
curl -sL -o wasi-sdk.deb https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-9/wasi-sdk_9.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