tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{lib, stdenv, fetchFromGitHub, autoconf, automake, libtool, gettext, autoreconfHook
2, gmp, mpfr
3}:
4stdenv.mkDerivation rec {
5 pname = "fplll";
6 version = "20160331";
7 src = fetchFromGitHub {
8 owner = pname;
9 repo = pname;
10 rev = "11dea26c2f9396ffb7a7191aa371343f1f74c5c3";
11 sha256 = "1clxch9hbr30w6s84m2mprxv58adhg5qw6sa2p3jr1cy4r7r59ib";
12 };
13 nativeBuildInputs = [autoconf automake libtool gettext autoreconfHook];
14 buildInputs = [gmp mpfr];
15 meta = {
16 description = "Lattice algorithms using floating-point arithmetic";
17 license = lib.licenses.lgpl21Plus;
18 maintainers = [lib.maintainers.raskin];
19 platforms = lib.platforms.linux;
20 };
21}