tjh.dev
1{lib, stdenv, fetchFromGitLab, autoreconfHook, texinfo, mpfr}:
2stdenv.mkDerivation rec {
3 pname = "mpfi";
4 version = "1.5.4";
5
6 src = fetchFromGitLab {
7 domain = "gitlab.inria.fr";
8 owner = "mpfi";
9 repo = "mpfi";
10
11 # Apparently there is an upstream off-by-one-commit error in tagging
12 # Conditional to allow auto-updaters to try new releases
13 # TODO: remove the conditional after an upstream update
14 # rev = version;
15 rev = if version == "1.5.4" then
16 "feab26bc54529417af983950ddbffb3a4c334d4f"
17 else version;
18
19 sha256 = "sha256-aj/QmJ38ifsW36JFQcbp55aIQRvOpiqLHwEh/aFXsgo=";
20 };
21
22 sourceRoot = "${src.name}/mpfi";
23
24 nativeBuildInputs = [ autoreconfHook texinfo ];
25 buildInputs = [ mpfr ];
26
27 meta = {
28 description = "Multiple precision interval arithmetic library based on MPFR";
29 homepage = "http://perso.ens-lyon.fr/nathalie.revol/software.html";
30 license = lib.licenses.lgpl21Plus;
31 maintainers = [lib.maintainers.raskin];
32 platforms = lib.platforms.unix;
33 };
34}