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..baefab487e52 --- /dev/null +++ b/nixpkgs/pkgs/development/libraries/mpfi/default.nix @@ -0,0 +1,22 @@ +{stdenv, fetchurl, mpfr}: +stdenv.mkDerivation rec { + pname = "mpfi"; + version = "1.5.3"; + 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 = "0bqr8yibl7jbrp0bw7xk1lm7nis7rv26jsz6y8ycvih8n9bx90r3"; + }; + buildInputs = [mpfr]; + meta = { + inherit version; + description = ''A multiple precision interval arithmetic library based on MPFR''; + homepage = https://gforge.inria.fr/projects/mpfi/; + license = stdenv.lib.licenses.lgpl21Plus; + maintainers = [stdenv.lib.maintainers.raskin]; + platforms = stdenv.lib.platforms.linux; + }; +} |