diff options
author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-05-26 11:14:20 +0100 |
---|---|---|
committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-05-26 11:14:20 +0100 |
commit | 227bc88da682955fa0702602e9712556787983b3 (patch) | |
tree | e135b05dd164d7862c49c88945ceec2db80fab28 /pkgs/applications | |
parent | cdb14ddafe1940459551203699e93270e1b32168 (diff) | |
parent | 9f1eb28a20c74ba872b8e69d41c4aeefbe6b8a4b (diff) | |
download | nixlib-227bc88da682955fa0702602e9712556787983b3.tar nixlib-227bc88da682955fa0702602e9712556787983b3.tar.gz nixlib-227bc88da682955fa0702602e9712556787983b3.tar.bz2 nixlib-227bc88da682955fa0702602e9712556787983b3.tar.lz nixlib-227bc88da682955fa0702602e9712556787983b3.tar.xz nixlib-227bc88da682955fa0702602e9712556787983b3.tar.zst nixlib-227bc88da682955fa0702602e9712556787983b3.zip |
Merge pull request #7991 from vbgl/gappa
Adds gappa 1.2.0
Diffstat (limited to 'pkgs/applications')
-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; + }; +} |