aboutsummaryrefslogtreecommitdiffstats
path: root/Dockerfile
diff options
context:
space:
mode:
authorwhitequark <whitequark@whitequark.org>2019-11-11 09:23:06 +0000
committerwhitequark <whitequark@whitequark.org>2020-04-30 18:56:25 +0000
commitb43c282e4e0de53b9323a5d8d85b07bc73324a17 (patch)
treeab7a0beb69f8f4cb7588128fbe248343665b1d7d /Dockerfile
parentbc380b0b56e0fa269a0d5844280cc4419d438d3a (diff)
downloadyosys-b43c282e4e0de53b9323a5d8d85b07bc73324a17.tar.gz
yosys-b43c282e4e0de53b9323a5d8d85b07bc73324a17.tar.bz2
yosys-b43c282e4e0de53b9323a5d8d85b07bc73324a17.zip
Add WASI platform support.
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.
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions