iCE40/yosys - clone of https://github.com/YosysHQ/yosys

	Commit message (Collapse)	Author	Age	Files	Lines
*	minisat: add missing include guard for WASI.	whitequark	2020-06-21	1	-0/+12
\| \| \| \| \|	Including signal.h used to be allowed in WASI by mistake, but it's an error since SDK 11.
*	Add WASI platform support.	whitequark	2020-04-30	1	-0/+34
	This includes the following significant changes: * Patching ezsat and minisat to disable resource limiting code on WASM/WASI, since the POSIX functions they use are unavailable. * Adding a new definition, YOSYS_DISABLE_SPAWN, present if platform does not support spawning subprocesses (i.e. Emscripten or WASI). This definition hides the definition of `run_command()`. * Adding a new Makefile flag, DISABLE_SPAWN, present in the same condition. This flag disables all passes that require spawning subprocesses for their function.