Merge pull request #19 from PiotrSikora:wasi

PiperOrigin-RevId: 340987756 Change-Id: I9055ddb0b3b8f21b4c1419c511055e0330943a00
2020-11-05 22:04:57 -08:00 · 2020-11-05 22:04:57 -08:00 · 228d7d560d
parent aee75f4429 ed46070dfc
commit 228d7d560d
1 changed files with 7 additions and 0 deletions
--- a/os/BUILD
+++ b/os/BUILD
@ -84,3 +84,10 @@ constraint_value(
    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",
+)