13 Commits

Author	SHA1	Message	Date
Frank Denis	2ea21b96e0	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:53:49 +02:00
Frank Denis	b817cd8fc8	Fix wasi-sdk path	2020-04-25 12:42:01 +02:00
Frank Denis	5ce5f2dce6	Apparently, wasi-sdk-9 only works on Ubuntu 18.04	2020-04-07 11:00:58 +02:00
Frank Denis	d0047f9cdf	Pipelines: use wasi-sdk 8, remove vs2015-win2012r2	2020-04-07 10:24:17 +02:00
Frank Denis	36dcdafca4	Update wasi-sdk	2019-10-11 12:24:58 +02:00
Frank Denis	78bb279b6c	The wasmer path is lost between tasks	2019-09-13 17:34:48 +02:00
Frank Denis	67f2f10dd6	Install precompiled wasmer	2019-09-13 17:27:32 +02:00
Frank Denis	2b332befe2	Revert "Try installing wasmtime instead of wasmer" ... This reverts commit c572f24ddf.	2019-09-13 11:34:40 +02:00
Frank Denis	7ce1e62919	Update wasi-sdk and use rust-beta, currently required to build wasmtime	2019-08-29 18:07:12 +02:00
Frank Denis	c572f24ddf	Try installing wasmtime instead of wasmer	2019-08-07 19:52:44 +02:00
Frank Denis	940ef42797	1.0.18	2019-05-30 21:57:51 +02:00
Frank Denis	d438a807c0	Parallelize MinGW32 builds on Azure Pipelines	2019-05-29 15:33:33 +02:00
Frank Denis	fe2bdb39d5	Add support for Azure Pipelines	2019-05-29 14:41:48 +02:00