diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-05-22 09:12:52 +0200 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-05-25 19:32:09 +0200 |
commit | 9f1eb28a20c74ba872b8e69d41c4aeefbe6b8a4b (patch) | |
tree | ae5cf3d14b11176b5bd2199ef3e82353b6d8f807 /pkgs/applications/science | |
parent | d7de6dad5fc4de83ca4c8fac93bd1a0243c45f71 (diff) | |
download | nixlib-9f1eb28a20c74ba872b8e69d41c4aeefbe6b8a4b.tar nixlib-9f1eb28a20c74ba872b8e69d41c4aeefbe6b8a4b.tar.gz nixlib-9f1eb28a20c74ba872b8e69d41c4aeefbe6b8a4b.tar.bz2 nixlib-9f1eb28a20c74ba872b8e69d41c4aeefbe6b8a4b.tar.lz nixlib-9f1eb28a20c74ba872b8e69d41c4aeefbe6b8a4b.tar.xz nixlib-9f1eb28a20c74ba872b8e69d41c4aeefbe6b8a4b.tar.zst nixlib-9f1eb28a20c74ba872b8e69d41c4aeefbe6b8a4b.zip |
Adds gappa 1.2.0
Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. Homepage: http://gappa.gforge.inria.fr/
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/gappa/default.nix | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/gappa/default.nix b/pkgs/applications/science/logic/gappa/default.nix new file mode 100644 index 000000000000..71114d2f9e12 --- /dev/null +++ b/pkgs/applications/science/logic/gappa/default.nix @@ -0,0 +1,23 @@ +{ stdenv, fetchurl, gmp, mpfr, boost }: + +stdenv.mkDerivation { + name = "gappa-1.2"; + + src = fetchurl { + url = https://gforge.inria.fr/frs/download.php/file/34787/gappa-1.2.0.tar.gz; + sha256 = "03hfzmaf5jm54sjpbks20q7qixpmagrfbnyyc276vgmiyslk4dkh"; + }; + + buildInputs = [ gmp mpfr boost.dev ]; + + buildPhase = "./remake"; + installPhase = "./remake install"; + + meta = { + homepage = http://gappa.gforge.inria.fr/; + description = "Verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic"; + license = with stdenv.lib.licenses; [ cecill20 gpl2 ]; + maintainers = with stdenv.lib.maintainers; [ vbgl ]; + platforms = stdenv.lib.platforms.all; + }; +} |