tjh.dev
1{lib, stdenv, fetchurl, autoreconfHook, texinfo, mpfr}:
2stdenv.mkDerivation rec {
3 pname = "mpfi";
4 version = "1.5.4";
5 file_nr = "38111";
6
7 src = fetchurl {
8 # NOTE: the file_nr is whats important here. The actual package name (including the version)
9 # is ignored. To find out the correct file_nr, go to https://gforge.inria.fr/projects/mpfi/
10 # and click on Download in the section "Latest File Releases".
11 url = "https://gforge.inria.fr/frs/download.php/file/${file_nr}/mpfi-${version}.tgz";
12 sha256 = "sha256-Ozk4WV1yCvF5c96vcnz8DdQcixbCCtwQOpcPSkOuOlY=";
13 };
14
15 nativeBuildInputs = [ autoreconfHook texinfo ];
16 buildInputs = [ mpfr ];
17
18 meta = {
19 description = "A multiple precision interval arithmetic library based on MPFR";
20 homepage = "https://gforge.inria.fr/projects/mpfi/";
21 license = lib.licenses.lgpl21Plus;
22 maintainers = [lib.maintainers.raskin];
23 platforms = lib.platforms.unix;
24 };
25}