pkgs/development/libraries/fplll/default.nix

   1 { lib, stdenv
   2 , fetchFromGitHub
   3 , fetchpatch
   4 , pkg-config
   5 , gettext
   6 , autoreconfHook
   7 , gmp
   8 , mpfr
   9 }:
  10
  11 stdenv.mkDerivation rec {
  12   pname = "fplll";
  13   version = "5.4.5";
  14
  15   src = fetchFromGitHub {
  16     owner = "fplll";
  17     repo = "fplll";
  18     rev = version;
  19     sha256 = "sha256-taSS7jpVyjVfNe6kSuUDXMD2PgKmtG64V5MjZyQzorI=";
  20   };
  21
  22   patches = [
  23     (fetchpatch {
  24       url = "https://github.com/fplll/fplll/commit/317cf70893eebfb2625da12e5377189908c36240.diff";
  25       sha256 = "sha256-GbYSolBgv/he4QzjuRFdg93wHJABVHvA9x3PjpJTSRE=";
  26     })
  27   ];
  28
  29   nativeBuildInputs = [
  30     pkg-config
  31     gettext
  32     autoreconfHook
  33   ];
  34
  35   buildInputs = [
  36     gmp
  37     mpfr
  38   ];
  39
  40   meta = with lib; {
  41     description = "Lattice algorithms using floating-point arithmetic";
  42     changelog = [
  43       # Some release notes are added to the github tags, though they are not
  44       # always complete.
  45       "https://github.com/fplll/fplll/releases/tag/${version}"
  46       # Releases are announced on this mailing list. Unfortunately it is not
  47       # possible to generate a direct link to the most recent announcement, but
  48       # this search should find it.
  49       "https://groups.google.com/forum/#!searchin/fplll-devel/FPLLL$20${version}"
  50     ];
  51     license = licenses.lgpl21Plus;
  52     maintainers = teams.sage.members;
  53     platforms = platforms.unix;
  54   };
  55 }