spin: enable darwin support (#119809)

2021-04-19 01:59:03 +09:00 · 2021-04-19 01:59:03 +09:00 · bcb8079a93
commit bcb8079a93
parent 75d12e9ad4
1 changed files with 1 additions and 1 deletions
--- a/pkgs/development/tools/analysis/spin/default.nix
+++ b/pkgs/development/tools/analysis/spin/default.nix
@ -40,7 +40,7 @@ in stdenv.mkDerivation rec {
    description = "Formal verification tool for distributed software systems";
    homepage = "http://spinroot.com/";
    license = licenses.free;
-    platforms = platforms.linux;
+    platforms = platforms.linux ++ platforms.darwin;
    maintainers = with maintainers; [ pSub ];
  };
 }