diff options
| author | Ben Siraphob <bensiraphob@gmail.com> | 2022-03-30 23:44:48 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-30 23:44:48 -0500 |
| commit | cbbef27aa9a9e948434bd1b7a8a7c26dc06a8984 (patch) | |
| tree | cf2f6bd8b00143d021caa52a81c56994477b9388 /pkgs/applications/science | |
| parent | 4dbe6fbd696551fb9d03be52940e94060420846d (diff) | |
| parent | 0535074d17cecd8ebed9a1c50cdbdaf2b2194c9d (diff) | |
| download | nixlib-cbbef27aa9a9e948434bd1b7a8a7c26dc06a8984.tar nixlib-cbbef27aa9a9e948434bd1b7a8a7c26dc06a8984.tar.gz nixlib-cbbef27aa9a9e948434bd1b7a8a7c26dc06a8984.tar.bz2 nixlib-cbbef27aa9a9e948434bd1b7a8a7c26dc06a8984.tar.lz nixlib-cbbef27aa9a9e948434bd1b7a8a7c26dc06a8984.tar.xz nixlib-cbbef27aa9a9e948434bd1b7a8a7c26dc06a8984.tar.zst nixlib-cbbef27aa9a9e948434bd1b7a8a7c26dc06a8984.zip | |
Merge pull request #166527 from siraben/nuxmv-darwin
Diffstat (limited to 'pkgs/applications/science')
| -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 021c612d1069..710cfdad39a8 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" ]; }; } |