ntl: 9.11.0 -> 11.2.1

ntl hasn't been updated in a while. So I'm doing that and adding myself
as the maintainer. I'm also adding some options and pinning the sage
dependency, since it is unfortunately not compatible with the latest ntl
yet.

I've also enabled the tests, since they don't take terribly long and are
worth the time in my opinion.
This commit is contained in:
Timo Kaufmann
2018-07-18 14:58:38 +02:00
parent 98792fe351
commit cad446513e
3 changed files with 69 additions and 18 deletions
@@ -37,6 +37,10 @@ stdenv.mkDerivation rec {
] ++ stdenv.lib.optionals withBlas [
"--with-blas=${openblas}"
];
# issues with ntl -- https://github.com/wbhart/flint2/issues/487
NIX_CFLAGS_COMPILE = [ "-std=c++11" ];
patches = [
(fetchpatch {
# Always produce libflint.so.MAJOR; will be included in the next flint version