diff options
author | Eduardo Sánchez Muñoz <esm@eduardosm.net> | 2021-04-25 18:51:35 +0200 |
---|---|---|
committer | Eduardo Sánchez Muñoz <esm@eduardosm.net> | 2021-04-25 18:51:35 +0200 |
commit | df86e6fb0e0cd9601fa53b33b886c7e350fd71bb (patch) | |
tree | 3550a51f6ad84a4d12503996117ae06a8a0b6724 /pkgs/development/libraries/mpfi | |
parent | 14b427a7e4b50bdabeb05bb27f3c76c871dd3447 (diff) |
mpfi: fix download URL
The `file_nr` value was wrong, so it was downloading version 1.5.3 instead of 1.5.4.
Diffstat (limited to 'pkgs/development/libraries/mpfi')
-rw-r--r-- | pkgs/development/libraries/mpfi/default.nix | 18 |
1 files changed, 13 insertions, 5 deletions
diff --git a/pkgs/development/libraries/mpfi/default.nix b/pkgs/development/libraries/mpfi/default.nix index 399c5416d7811..db36ed38a953e 100644 --- a/pkgs/development/libraries/mpfi/default.nix +++ b/pkgs/development/libraries/mpfi/default.nix @@ -1,16 +1,24 @@ -{lib, stdenv, fetchurl, mpfr}: +{lib, stdenv, fetchurl, autoconf, automake, libtool, texinfo, mpfr}: stdenv.mkDerivation rec { pname = "mpfi"; version = "1.5.4"; - file_nr = "37331"; + 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}.tar.bz2"; - sha256 = "sha256-I4PUV7IIxs088uZracTOR0d7Kg2zH77AzUseuqJHGS8="; + url = "https://gforge.inria.fr/frs/download.php/file/${file_nr}/mpfi-${version}.tgz"; + sha256 = "sha256-Ozk4WV1yCvF5c96vcnz8DdQcixbCCtwQOpcPSkOuOlY="; }; - buildInputs = [mpfr]; + + nativeBuildInputs = [ autoconf automake libtool texinfo ]; + buildInputs = [ mpfr ]; + + preConfigure = '' + ./autogen.sh + ''; + meta = { inherit version; description = "A multiple precision interval arithmetic library based on MPFR"; |