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