diff options
Diffstat (limited to 'nixpkgs/pkgs/development/libraries/mpfi')
| -rw-r--r-- | nixpkgs/pkgs/development/libraries/mpfi/default.nix | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/libraries/mpfi/default.nix b/nixpkgs/pkgs/development/libraries/mpfi/default.nix new file mode 100644 index 000000000000..152c35e6e6f0 --- /dev/null +++ b/nixpkgs/pkgs/development/libraries/mpfi/default.nix @@ -0,0 +1,25 @@ +{lib, stdenv, fetchurl, autoreconfHook, texinfo, mpfr}: +stdenv.mkDerivation rec { + pname = "mpfi"; + version = "1.5.4"; + file_nr = "38111"; + + src = fetchurl { + # NOTE: the file_nr is whats important here. The actual package name (including the version) + # is ignored. To find out the correct file_nr, go to https://gforge.inria.fr/projects/mpfi/ + # and click on Download in the section "Latest File Releases". + url = "https://gforge.inria.fr/frs/download.php/file/${file_nr}/mpfi-${version}.tgz"; + sha256 = "sha256-Ozk4WV1yCvF5c96vcnz8DdQcixbCCtwQOpcPSkOuOlY="; + }; + + nativeBuildInputs = [ autoreconfHook texinfo ]; + buildInputs = [ mpfr ]; + + meta = { + description = "A multiple precision interval arithmetic library based on MPFR"; + homepage = "https://gforge.inria.fr/projects/mpfi/"; + license = lib.licenses.lgpl21Plus; + maintainers = [lib.maintainers.raskin]; + platforms = lib.platforms.unix; + }; +} |