diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2016-10-10 16:55:47 +0200 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2016-10-26 11:06:32 +0200 |
commit | e405c88d5bc0985f81f66248485eb3eb8622eec6 (patch) | |
tree | e00de7b90c6d930421d8abc85a467d3fac8d831a /pkgs/development/libraries/fplll | |
parent | 22821970ba8e8f60135ee3df3c6f4e8248150697 (diff) | |
download | nixpkgs-e405c88d5bc0985f81f66248485eb3eb8622eec6.tar nixpkgs-e405c88d5bc0985f81f66248485eb3eb8622eec6.tar.gz nixpkgs-e405c88d5bc0985f81f66248485eb3eb8622eec6.tar.bz2 nixpkgs-e405c88d5bc0985f81f66248485eb3eb8622eec6.tar.lz nixpkgs-e405c88d5bc0985f81f66248485eb3eb8622eec6.tar.xz nixpkgs-e405c88d5bc0985f81f66248485eb3eb8622eec6.tar.zst nixpkgs-e405c88d5bc0985f81f66248485eb3eb8622eec6.zip |
fplll: init at 5.0.2
Diffstat (limited to 'pkgs/development/libraries/fplll')
-rw-r--r-- | pkgs/development/libraries/fplll/default.nix | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/pkgs/development/libraries/fplll/default.nix b/pkgs/development/libraries/fplll/default.nix new file mode 100644 index 00000000000..b377061fe97 --- /dev/null +++ b/pkgs/development/libraries/fplll/default.nix @@ -0,0 +1,23 @@ +{stdenv, fetchFromGitHub, autoconf, automake, libtool, gettext, autoreconfHook +, gmp, mpfr +}: +stdenv.mkDerivation rec { + name = "${pname}-${version}"; + pname = "fplll"; + version = "5.0.2"; + src = fetchFromGitHub { + owner = "${pname}"; + repo = "${pname}"; + rev = "${version}"; + sha256 = "0rl98rx284giyhj3pf6iydn1a06jis8c8mnsc7kqs4rcmiw4bjpx"; + }; + 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; + }; +} |