Commit Graph
25 Commits
Author SHA1 Message Date
Frank Denis a8fa837aac Don't even include signal.h on WASI
Since version 11, wasi-sysroot doesn't ignore it but spits out
an error instead.
2020-06-04 10:54:53 +02:00
Frank Denis 5f661cd757 Fix wasi-sdk path 2020-04-25 12:38:30 +02:00
Frank Denis 05e02ecb41 Try WASI-SDK-10 2020-04-10 09:50:51 +02:00
Frank Denis 0d951454c1 Apparently, wasi-sdk-9 only works on Ubuntu 18.04 2020-04-07 11:04:22 +02:00
Frank Denis fc5d2ae169 Revert "Pipelines: use wasi-sdk-9"
This reverts commit 4fee277ee4.
2020-04-07 10:25:01 +02:00
Frank Denis 4fee277ee4 Pipelines: use wasi-sdk-9 2020-04-07 09:48:12 +02:00
Frank Denis 1972e217d5 Update wasi-sdk URL 2020-03-19 13:10:24 +01:00
Frank Denis 65f02e13eb Remove the Azure Pipelines windows-reallyold job
Azure removed the vs2015-win2012r2 image
2020-03-19 11:05:21 +01:00
Frank Denis b5d8f36d31 Update wasi-sdk 2019-11-01 17:31:07 +01:00
Frank Denis 639782ef87 Update wasi-sdk 2019-10-11 12:24:14 +02:00
Frank Denis 5a9d93d371 The wasmer path is lost between tasks 2019-09-13 17:38:12 +02:00
Frank Denis ea92e2e929 Install precompiled wasmer 2019-09-13 17:26:51 +02:00
Frank Denis 5e8969a48d Revert "Try installing wasmtime instead of wasmer"
This reverts commit 0dc43505f7.
2019-09-13 11:26:23 +02:00
Frank Denis ab2c18cec2 Use rust-beta, that may be required to build wasmtime 2019-08-29 18:13:22 +02:00
Frank Denis 0dc43505f7 Try installing wasmtime instead of wasmer 2019-08-07 19:33:54 +02:00
Frank Denis 33e7fa9ee9 Update the WASI SDK 2019-08-07 19:26:27 +02:00
Frank Denis db30653ca5 Use Azure Pipelines to produce WASI binaries 2019-05-30 13:23:53 +02:00
Frank Denis 53346c9553 Name things consistently 2019-05-29 15:34:08 +02:00
Frank Denis 0a9ec5c843 Conditions don't apply to scripts 2019-05-29 15:08:25 +02:00
Frank Denis 694420a82b Parallelize MinGW builds 2019-05-29 14:56:29 +02:00
Frank Denis 2c8ba1354b Reserve a branch for testing the next version 2019-05-29 14:31:21 +02:00
Frank Denis a401c9825a Don't trigger Azure Pipelines on PRs, keep Appveyor for this 2019-05-29 14:27:40 +02:00
Frank Denis 801229d946 Azure Pipelines: build MinGW binaries 2019-05-29 14:20:56 +02:00
Frank Denis 093bd973ed azure-pipelines: remove the packages job 2019-05-28 23:16:33 +02:00
Frank Denis 35d1e848f5 Add Azure Pipelines rules 2019-05-28 21:01:01 +02:00