3
0
Fork 0
forked from mirrors/nixpkgs

mpfi: init at 1.5.1

This commit is contained in:
Michael Raskin 2016-10-10 17:00:41 +02:00
parent e405c88d5b
commit 0ac7e336c0
2 changed files with 19 additions and 0 deletions

View file

@ -0,0 +1,17 @@
{stdenv, fetchurl, mpfr}:
stdenv.mkDerivation rec {
name = "mpfi-${version}";
version = "1.5.1";
src = fetchurl {
url = "https://gforge.inria.fr/frs/download.php/file/30129/mpfi-${version}.tar.bz2";
sha256 = "0vk9jfcfiqda0zksg1ffy36pdznpng9b4nl7pfzpz9hps4v6bk1z";
};
buildInputs = [mpfr];
meta = {
inherit version;
description = ''A multiple precision interval arithmetic library based on MPFR'';
license = stdenv.lib.licenses.lgpl21Plus;
maintainers = [stdenv.lib.maintainers.raskin];
platforms = stdenv.lib.platforms.linux;
};
}

View file

@ -7076,6 +7076,8 @@ in
#GMP ex-satellite, so better keep it near gmp
mpfr = callPackage ../development/libraries/mpfr/default.nix { };
mpfi = callPackage ../development/libraries/mpfi { };
# A GMP fork
mpir = callPackage ../development/libraries/mpir {};