39 Commits

Author	SHA1	Message	Date
Frank Denis	7ffd2a9057	Azure Pipelines: update Zig to 0.10.0 to compile to WebAssembly/WASI	2022-11-14 00:30:40 +01:00
Frank Denis	5ef0f9d486	Azure pipelines: the vs2017-win2016 image doesn't exist any more	2022-11-14 00:24:51 +01:00
Frank Denis	4290815e54	Update msys2	2022-06-03 23:58:02 +02:00
Frank Denis	0727ce3454	azure-pipelines: wasi-sdk is not used any more	2022-05-10 17:30:25 +02:00
Frank Denis	df37f22de0	Azure Pipelines: build on MSVC 2022	2021-11-11 12:58:09 +01:00
Frank Denis	fe1d6d11aa	Update msys2	2021-07-25 21:46:37 +02:00
Frank Denis	78c9d1eade	Azure Pipelines CI: remove the need for llvm	2021-07-19 13:00:16 +02:00
Frank Denis	c2d66aaec9	WASI: remove wasi-sdk dependency; build module with zig	2021-07-19 12:45:33 +02:00
Frank Denis	4aafe7517a	Update msys2	2021-06-13 18:52:15 +02:00
Frank Denis	71f91b2f6e	Update msys2	2021-02-28 21:06:19 +01:00
Frank Denis	ad65e5dc3e	Update msys2	2021-01-05 20:30:24 +01:00
Frank Denis	5e262eeb8f	Bump wasi-sdk version	2020-12-03 17:32:13 +01:00
Frank Denis	dbbd8c6bb9	Update msys2-base	2020-11-13 21:48:41 +01:00
Frank Denis	3f1df65173	MSYS2's CI repository is no more	2020-11-04 19:29:33 +01:00
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