diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2016-10-12 22:47:01 +0200 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2016-10-26 11:06:41 +0200 |
commit | bdaff5f2566ae8f87b4626974d590a1c69979ac7 (patch) | |
tree | 20cc43713ee20e71ec6dd14306b730e2d5b52d61 /pkgs/development/libraries/fplll | |
parent | 36804c75e484810173ed448a55f20c5c77ef628d (diff) | |
download | nixlib-bdaff5f2566ae8f87b4626974d590a1c69979ac7.tar nixlib-bdaff5f2566ae8f87b4626974d590a1c69979ac7.tar.gz nixlib-bdaff5f2566ae8f87b4626974d590a1c69979ac7.tar.bz2 nixlib-bdaff5f2566ae8f87b4626974d590a1c69979ac7.tar.lz nixlib-bdaff5f2566ae8f87b4626974d590a1c69979ac7.tar.xz nixlib-bdaff5f2566ae8f87b4626974d590a1c69979ac7.tar.zst nixlib-bdaff5f2566ae8f87b4626974d590a1c69979ac7.zip |
fplll_20160331: init at 20160331, obviously. The snapshot that Sage seems to like
Diffstat (limited to 'pkgs/development/libraries/fplll')
-rw-r--r-- | pkgs/development/libraries/fplll/20160331.nix | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/pkgs/development/libraries/fplll/20160331.nix b/pkgs/development/libraries/fplll/20160331.nix new file mode 100644 index 000000000000..952ecb0eadeb --- /dev/null +++ b/pkgs/development/libraries/fplll/20160331.nix @@ -0,0 +1,23 @@ +{stdenv, fetchFromGitHub, autoconf, automake, libtool, gettext, autoreconfHook +, gmp, mpfr +}: +stdenv.mkDerivation rec { + name = "${pname}-${version}"; + pname = "fplll"; + version = "20160331"; + src = fetchFromGitHub { + owner = "${pname}"; + repo = "${pname}"; + rev = "11dea26c2f9396ffb7a7191aa371343f1f74c5c3"; + sha256 = "1clxch9hbr30w6s84m2mprxv58adhg5qw6sa2p3jr1cy4r7r59ib"; + }; + nativeBuildInputs = [autoconf automake libtool gettext autoreconfHook]; + buildInputs = [gmp mpfr]; + meta = { + inherit version; + description = ''Lattice algorithms using floating-point arithmetic''; + license = stdenv.lib.licenses.lgpl21Plus; + maintainers = [stdenv.lib.maintainers.raskin]; + platforms = stdenv.lib.platforms.linux; + }; +} |