blob: 152c35e6e6f0781576e3a1d9bf15e2ea646195af (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
{lib, stdenv, fetchurl, autoreconfHook, texinfo, mpfr}:
stdenv.mkDerivation rec {
pname = "mpfi";
version = "1.5.4";
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}.tgz";
sha256 = "sha256-Ozk4WV1yCvF5c96vcnz8DdQcixbCCtwQOpcPSkOuOlY=";
};
nativeBuildInputs = [ autoreconfHook texinfo ];
buildInputs = [ mpfr ];
meta = {
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;
};
}
|