nixpkgs-suyu/pkgs/development/libraries/ntl/default.nix
Timo Kaufmann ff8338343b maintainers: create sage team
Maintaining all the packages whose updates might break some aspect of
sage.

For reference:
https://github.com/NixOS/nixpkgs/pull/103810#issuecomment-727536510
2020-11-18 21:27:37 +01:00

76 lines
2.1 KiB
Nix

{ stdenv
, lib
, fetchurl
, perl
, gmp
, gf2x ? null
# I asked the ntl maintainer weather or not to include gf2x by default:
# > If I remember correctly, gf2x is now thread safe, so there's no reason not to use it.
, withGf2x ? true
, tune ? false # tune for current system; non reproducible and time consuming
}:
assert withGf2x -> gf2x != null;
stdenv.mkDerivation rec {
pname = "ntl";
version = "11.4.3";
src = fetchurl {
url = "http://www.shoup.net/ntl/ntl-${version}.tar.gz";
sha256 = "1lisp3064rch3jaa2wrhy1s9kll7i3ka3d0y6lj6l3l4ckfcrhdp";
};
buildInputs = [
gmp
];
nativeBuildInputs = [
perl # needed for ./configure
];
sourceRoot = "${pname}-${version}/src";
enableParallelBuilding = true;
dontAddPrefix = true; # DEF_PREFIX instead
# reference: http://shoup.net/ntl/doc/tour-unix.html
configureFlags = [
"DEF_PREFIX=$(out)"
"SHARED=on" # genereate a shared library (as well as static)
"NATIVE=off" # don't target code to current hardware (reproducibility, portability)
"TUNE=${
if tune then
"auto"
else if stdenv.targetPlatform.isx86 then
"x86" # "chooses options that should be well suited for most x86 platforms"
else
"generic" # "chooses options that should be OK for most platforms"
}"
"CXX=c++"
] ++ lib.optionals withGf2x [
"NTL_GF2X_LIB=on"
"GF2X_PREFIX=${gf2x}"
];
doCheck = true; # takes some time
meta = with lib; {
description = "A Library for doing Number Theory";
longDescription = ''
NTL is a high-performance, portable C++ library providing data
structures and algorithms for manipulating signed, arbitrary
length integers, and for vectors, matrices, and polynomials over
the integers and over finite fields.
'';
# Upstream contact: maintainer is victorshoup on GitHub. Alternatively the
# email listed on the homepage.
homepage = "http://www.shoup.net/ntl/";
# also locally at "${src}/doc/tour-changes.html";
changelog = "https://www.shoup.net/ntl/doc/tour-changes.html";
maintainers = teams.sage.members;
license = licenses.gpl2Plus;
platforms = platforms.all;
};
}