pkgs/development/libraries/mpfi/default.nix

   1 {lib, stdenv, fetchFromGitLab, autoreconfHook, texinfo, mpfr}:
   2 stdenv.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 = "source/mpfi";
  23
  24   nativeBuildInputs = [ autoreconfHook texinfo ];
  25   buildInputs = [ mpfr ];
  26
  27   meta = {
  28     description = "A 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 }