Merge pull request #120614 from eduardosm/mpfi

mpfi: fix download URL
This commit is contained in:
Michael Raskin 2021-04-26 00:06:48 +00:00 committed by GitHub
commit 8931b66733
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,16 +1,24 @@
{lib, stdenv, fetchurl, mpfr}: {lib, stdenv, fetchurl, autoconf, automake, libtool, texinfo, mpfr}:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "mpfi"; pname = "mpfi";
version = "1.5.4"; version = "1.5.4";
file_nr = "37331"; file_nr = "38111";
src = fetchurl { src = fetchurl {
# NOTE: the file_nr is whats important here. The actual package name (including the version) # 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/ # 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". # 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"; url = "https://gforge.inria.fr/frs/download.php/file/${file_nr}/mpfi-${version}.tgz";
sha256 = "sha256-I4PUV7IIxs088uZracTOR0d7Kg2zH77AzUseuqJHGS8="; sha256 = "sha256-Ozk4WV1yCvF5c96vcnz8DdQcixbCCtwQOpcPSkOuOlY=";
}; };
buildInputs = [mpfr];
nativeBuildInputs = [ autoconf automake libtool texinfo ];
buildInputs = [ mpfr ];
preConfigure = ''
./autogen.sh
'';
meta = { meta = {
inherit version; inherit version;
description = "A multiple precision interval arithmetic library based on MPFR"; description = "A multiple precision interval arithmetic library based on MPFR";