diff options
author | Jan Tojnar <jtojnar@gmail.com> | 2021-07-14 03:59:33 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-14 03:59:33 +0200 |
commit | 21f3b2b50b064254d9cdc42a0adac08f0b19fecc (patch) | |
tree | f8ca2a560138c6a25a757c1fe3fd5508df071926 /pkgs/development/interpreters/spidermonkey | |
parent | 5fb893f922f8f7054860e745a22e78d986023ff8 (diff) | |
parent | 0f236088eefcfa7c9a968c8d2c02db50c42ed89f (diff) |
Merge pull request #126558 from zhaofengli/libproxy-optional-js
libproxy: Make JavaScript optional
Diffstat (limited to 'pkgs/development/interpreters/spidermonkey')
-rw-r--r-- | pkgs/development/interpreters/spidermonkey/68.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/interpreters/spidermonkey/68.nix b/pkgs/development/interpreters/spidermonkey/68.nix index ccb9271bd40a2..420c3d72f891a 100644 --- a/pkgs/development/interpreters/spidermonkey/68.nix +++ b/pkgs/development/interpreters/spidermonkey/68.nix @@ -96,6 +96,7 @@ in stdenv.mkDerivation rec { homepage = "https://developer.mozilla.org/en/SpiderMonkey"; license = licenses.gpl2; # TODO: MPL/GPL/LGPL tri-license. maintainers = [ maintainers.abbradar ]; + badPlatforms = [ "riscv32-linux" "riscv64-linux" ]; platforms = platforms.linux; }; } |