From ed46070dfc79646c573acede7c4f9257d3d8fe44 Mon Sep 17 00:00:00 2001 From: Piotr Sikora Date: Thu, 5 Nov 2020 05:24:03 +0000 Subject: [PATCH] os: add WASI (WebAssembly System Interface). Signed-off-by: Piotr Sikora --- os/BUILD | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/os/BUILD b/os/BUILD index 16525d3..53fec81 100644 --- 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", +)