commit | ed46070dfc79646c573acede7c4f9257d3d8fe44 | [log] [tgz] |
---|---|---|
author | Piotr Sikora <piotrsikora@google.com> | Thu Nov 05 05:24:03 2020 +0000 |
committer | Piotr Sikora <piotrsikora@google.com> | Thu Nov 05 19:34:29 2020 +0000 |
tree | 6b4f4d041d8dca5d08e0589cf6a42dcf55f9ab0f | |
parent | aee75f4429c6ea769c60f1aeaa5d078cffcd5c8d [diff] |
os: add WASI (WebAssembly System Interface). Signed-off-by: Piotr Sikora <piotrsikora@google.com>
diff --git a/os/BUILD b/os/BUILD index 16525d3..53fec81 100644 --- a/os/BUILD +++ b/os/BUILD
@@ -84,3 +84,10 @@ name = "nixos", constraint_setting = ":os", ) + +# WASI (WebAssembly System Interface) +# https://github.com/bytecodealliance/wasmtime/blob/main/docs/WASI-overview.md +constraint_value( + name = "wasi", + constraint_setting = ":os", +)