diff options
author | Maarten Hoogendoorn <maarten@moretea.nl> | 2016-04-12 12:12:46 +0200 |
---|---|---|
committer | Maarten Hoogendoorn <maarten@moretea.nl> | 2016-04-12 22:16:30 +0200 |
commit | ec098aad41da059b0ce71292638a78d0e71d5350 (patch) | |
tree | c5842dfa600e1e0af3e576fe70afad006377c5c4 /pkgs/applications/science/logic/mcrl2 | |
parent | dddb62d3e31bed1d6127f396f5f89c6ed2799c9e (diff) | |
download | nixlib-ec098aad41da059b0ce71292638a78d0e71d5350.tar nixlib-ec098aad41da059b0ce71292638a78d0e71d5350.tar.gz nixlib-ec098aad41da059b0ce71292638a78d0e71d5350.tar.bz2 nixlib-ec098aad41da059b0ce71292638a78d0e71d5350.tar.lz nixlib-ec098aad41da059b0ce71292638a78d0e71d5350.tar.xz nixlib-ec098aad41da059b0ce71292638a78d0e71d5350.tar.zst nixlib-ec098aad41da059b0ce71292638a78d0e71d5350.zip |
mcrl2: 2009.01 -> 2014.09
Diffstat (limited to 'pkgs/applications/science/logic/mcrl2')
-rw-r--r-- | pkgs/applications/science/logic/mcrl2/default.nix | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/mcrl2/default.nix b/pkgs/applications/science/logic/mcrl2/default.nix new file mode 100644 index 000000000000..c8493b594690 --- /dev/null +++ b/pkgs/applications/science/logic/mcrl2/default.nix @@ -0,0 +1,31 @@ +{stdenv, fetchurl, xlibs, cmake, subversion, mesa, qt5, boost, + python27, python27Packages}: + +stdenv.mkDerivation rec { + version = "201409.1"; + build_nr = "13892"; + name = "mcrl2-${version}"; + + src = fetchurl { + url = "http://www.mcrl2.org/download/devel/mcrl2-${version}.${build_nr}.tar.gz"; + sha256 = "0cknpind6rma12q93rbm638ijhy8sj8nd20wnw8l0f651wm0x036"; + }; + + buildInputs = [ xlibs.libX11 cmake subversion mesa qt5.qtbase boost + python27 python27Packages.pyyaml python27Packages.psutil ]; + + 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 = http://www.mcrl2.org/; + license = licenses.boost; + maintainers = with maintainers; [ moretea ]; + platforms = platforms.unix; + }; +} |