diff options
author | Ben Siraphob <bensiraphob@gmail.com> | 2022-03-30 23:40:23 -0500 |
---|---|---|
committer | Ben Siraphob <bensiraphob@gmail.com> | 2022-03-30 23:43:21 -0500 |
commit | 0535074d17cecd8ebed9a1c50cdbdaf2b2194c9d (patch) | |
tree | 50eb1a6d98fb051d27b5dfbffb3f478b62c8ab3b /pkgs/applications/science/logic/nuXmv | |
parent | f5054121cb287317c4ca8c409ef9c68f36658013 (diff) |
nuXmv: fix darwin build
Diffstat (limited to 'pkgs/applications/science/logic/nuXmv')
-rw-r--r-- | pkgs/applications/science/logic/nuXmv/default.nix | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/pkgs/applications/science/logic/nuXmv/default.nix b/pkgs/applications/science/logic/nuXmv/default.nix index 021c612d10691..710cfdad39a8d 100644 --- a/pkgs/applications/science/logic/nuXmv/default.nix +++ b/pkgs/applications/science/logic/nuXmv/default.nix @@ -1,25 +1,33 @@ -{ lib, stdenv, fetchurl }: +{ lib, stdenv, fetchurl, gmp, makeWrapper }: stdenv.mkDerivation rec { pname = "nuXmv"; version = "2.0.0"; src = fetchurl { - url = "https://es-static.fbk.eu/tools/nuxmv/downloads/nuXmv-${version}-linux64.tar.gz"; - sha256 = "0nndrw994clf8lnlcfzdf1mf00vif3fvd4xsiwcjpbyk12091zqr"; + url = "https://es-static.fbk.eu/tools/nuxmv/downloads/nuXmv-${version}-${if stdenv.isDarwin then "macosx64" else "linux64"}.tar.gz"; + sha256 = if stdenv.isDarwin + then "sha256-48I+FhJUUam1nMCMMM47CwGO82BYsNz0eHDHXBfqO2E=" + else "sha256-Gf+QgAjTrysZj7qTtt1wcQPganDtO0YtRY4ykhLPzVo="; }; + nativeBuildInputs = [ makeWrapper ]; + buildInputs = lib.optionals stdenv.isDarwin [ gmp ]; installPhase= '' runHook preInstall install -Dm755 -t $out/bin ./bin/nuXmv runHook postInstall ''; + postFixup = lib.optionalString stdenv.isDarwin '' + wrapProgram $out/bin/nuXmv --prefix DYLD_LIBRARY_PATH : ${gmp}/lib + ''; + meta = with lib; { description = "Symbolic model checker for analysis of finite and infinite state systems"; homepage = "https://nuxmv.fbk.eu/pmwiki.php"; license = licenses.unfree; maintainers = with maintainers; [ siraben ]; - platforms = [ "x86_64-linux" ]; + platforms = [ "x86_64-linux" "x86_64-darwin" ]; }; } |