diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-12-14 07:50:04 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-12-14 07:50:04 +0100 |
commit | 8302eefde0758c90cd035f56c99c806a49935c4e (patch) | |
tree | e254f374fa94548871a233070d4c2b998e318e79 /pkgs/development/interpreters | |
parent | 2fd42057e1b9679efe7589ebbe26c9b307f6f96e (diff) | |
parent | 14447282cfbc797dace52dfd5869e867dc5692ca (diff) |
Merge pull request #274008 from ereslibre/add-missing-platforms-wavm
wavm: add missing platforms
Diffstat (limited to 'pkgs/development/interpreters')
-rw-r--r-- | pkgs/development/interpreters/wavm/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/interpreters/wavm/default.nix b/pkgs/development/interpreters/wavm/default.nix index a9ed260a0fd06..c4d4c4f5f2d2d 100644 --- a/pkgs/development/interpreters/wavm/default.nix +++ b/pkgs/development/interpreters/wavm/default.nix @@ -22,5 +22,6 @@ llvmPackages.stdenv.mkDerivation (finalAttrs: { homepage = "https://wavm.github.io"; license = licenses.bsd3; maintainers = with maintainers; [ ereslibre ]; + platforms = platforms.unix; }; }) |