diff options
Diffstat (limited to 'nixpkgs/pkgs/development/libraries/mpfi')
| -rw-r--r-- | nixpkgs/pkgs/development/libraries/mpfi/default.nix | 22 |
1 files changed, 22 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..399c5416d781 --- /dev/null +++ b/nixpkgs/pkgs/development/libraries/mpfi/default.nix @@ -0,0 +1,22 @@ +{lib, stdenv, fetchurl, mpfr}: +stdenv.mkDerivation rec { + pname = "mpfi"; + version = "1.5.4"; + file_nr = "37331"; + 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}.tar.bz2"; + sha256 = "sha256-I4PUV7IIxs088uZracTOR0d7Kg2zH77AzUseuqJHGS8="; + }; + buildInputs = [mpfr]; + meta = { + inherit version; + 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; + }; +} |