diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/mcrl2/default.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/mcrl2/default.nix | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/mcrl2/default.nix b/nixpkgs/pkgs/applications/science/logic/mcrl2/default.nix new file mode 100644 index 000000000000..dc32e84279a8 --- /dev/null +++ b/nixpkgs/pkgs/applications/science/logic/mcrl2/default.nix @@ -0,0 +1,29 @@ +{stdenv, fetchurl, cmake, libGLU_combined, qt5, boost}: + +stdenv.mkDerivation rec { + version = "201707"; + build_nr = "1"; + name = "mcrl2-${version}"; + + src = fetchurl { + url = "https://www.mcrl2.org/download/release/mcrl2-${version}.${build_nr}.tar.gz"; + sha256 = "1c8h94ja7271ph61zrcgnjgblxppld6v22f7f900prjgzbcfy14m"; + }; + + buildInputs = [ cmake libGLU_combined qt5.qtbase boost ]; + + enableParallelBuilding = true; + + meta = with stdenv.lib; { + description = "A toolset for model-checking concurrent systems and protocols"; + longDescription = '' + A formal specification language with an associated toolset, + that can be used for modelling, validation and verification of + concurrent systems and protocols + ''; + homepage = https://www.mcrl2.org/; + license = licenses.boost; + maintainers = with maintainers; [ moretea ]; + platforms = platforms.unix; + }; +} |