alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

Merge pull request #195226 from mgttlinger/nusmv

Browse source 
nusmv: init at 2.6.0
This commit is contained in:
Anderson Torres 2022-10-30 16:03:23 -03:00 committed by GitHub
parent 00bde1ac69 9310061a5b
commit eb7b3043ff
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 39 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

37
pkgs/applications/science/logic/nusmv/default.nix Normal file
View file

@ -0,0 +1,37 @@
{ stdenv
, lib
, fetchurl
, autoPatchelfHook
}:
stdenv.mkDerivation rec {
pname = "NuSMV";
version = "2.6.0";
src = with stdenv; fetchurl (
if isx86_64 && isLinux then {
url = "https://nusmv.fbk.eu/distrib/NuSMV-${version}-linux64.tar.gz";
sha256 = "1370x2vwjndv9ham5q399nn84hvhm1gj1k7pq576qmh4pi12xc8i";
} else if isx86_32 && isLinux then {
url = "https://nusmv.fbk.eu/distrib/NuSMV-${version}-linux32.tar.gz";
sha256 = "1qf41czwbqxlrmv0rv2daxgz2hljza5xks85sx3dhwpjy2iav9jb";
} else throw "only linux x86_64 and x86_32 are currently supported") ;
nativeBuildInputs = [ autoPatchelfHook ];
installPhase = ''
install -m755 -D bin/NuSMV $out/bin/NuSMV
install -m755 -D bin/ltl2smv $out/bin/ltl2smv
cp -r include $out/include
cp -r share $out/share
'';
meta = with lib; {
description = "A new symbolic model checker for the analysis of synchronous finite-state and infinite-state systems";
homepage = "https://nuxmv.fbk.eu/pmwiki.php";
maintainers = with maintainers; [ mgttlinger ];
sourceProvenance = with sourceTypes; [ binaryNativeCode ];
platforms = platforms.linux;
};
}

2
pkgs/top-level/all-packages.nix
View file

@ -35706,6 +35706,8 @@ with pkgs;
monosat = callPackage ../applications/science/logic/monosat {};
nusmv = callPackage ../applications/science/logic/nusmv { };
nuXmv = callPackage ../applications/science/logic/nuXmv {};
opensmt = callPackage ../applications/science/logic/opensmt { };