mpfi: fix download URL
The `file_nr` value was wrong, so it was downloading version 1.5.3 instead of 1.5.4.
This commit is contained in:
parent
14b427a7e4
commit
df86e6fb0e
1 changed files with 13 additions and 5 deletions
|
@ -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";
|
||||
|
|
Loading…
Reference in a new issue