diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2017-05-01 14:26:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-01 14:26:52 +0200 |
commit | 49c419cf3eef64d4679a8503a5812e28e0ceb458 (patch) | |
tree | f83f0c2355c249c0828d42cbe26907a24f39dea5 /pkgs | |
parent | 938fbf6873b66787373bc95512d943ba51c2c9b3 (diff) | |
parent | eedc6799b6b775ba1c11902fbdf271e96883ff6c (diff) | |
download | nixlib-49c419cf3eef64d4679a8503a5812e28e0ceb458.tar nixlib-49c419cf3eef64d4679a8503a5812e28e0ceb458.tar.gz nixlib-49c419cf3eef64d4679a8503a5812e28e0ceb458.tar.bz2 nixlib-49c419cf3eef64d4679a8503a5812e28e0ceb458.tar.lz nixlib-49c419cf3eef64d4679a8503a5812e28e0ceb458.tar.xz nixlib-49c419cf3eef64d4679a8503a5812e28e0ceb458.tar.zst nixlib-49c419cf3eef64d4679a8503a5812e28e0ceb458.zip |
Merge pull request #25117 from lucas8/cubicle
cubicle: init at 1.0.2
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/science/logic/cubicle/default.nix | 20 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
2 files changed, 22 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/cubicle/default.nix b/pkgs/applications/science/logic/cubicle/default.nix new file mode 100644 index 000000000000..9bfbcc3f30df --- /dev/null +++ b/pkgs/applications/science/logic/cubicle/default.nix @@ -0,0 +1,20 @@ +{ stdenv, fetchurl, ocaml, ocamlPackages }: + +stdenv.mkDerivation rec { + name = "cubicle-${version}"; + version = "1.0.2"; + src = fetchurl { + url = "http://cubicle.lri.fr/cubicle-${version}.tar.gz"; + sha256 = "1fg39vlr2d5067512df32hkw6g8vglxj1m47md5mw3pn3ij6dpsx"; + }; + + buildInputs = [ ocaml ocamlPackages.functory ]; + + meta = with stdenv.lib; { + description = "An open source model checker for verifying safety properties of array-based systems"; + homepage = "http://cubicle.lri.fr/"; + license = licenses.asl20; + platforms = platforms.linux; + maintainers = with maintainers; [ lucas8 ]; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index d472aa6aeebf..41b71f622ca8 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -17613,6 +17613,8 @@ with pkgs; cryptoverif = callPackage ../applications/science/logic/cryptoverif { }; + cubicle = callPackage ../applications/science/logic/cubicle { }; + cvc3 = callPackage ../applications/science/logic/cvc3 { gmp = lib.overrideDerivation gmp (a: { dontDisableStatic = true; }); }; |