diff options
author | Timo Kaufmann <timokau@zoho.com> | 2018-07-08 23:07:41 +0200 |
---|---|---|
committer | Timo Kaufmann <timokau@zoho.com> | 2018-07-18 14:58:38 +0200 |
commit | cad446513eb011f0ba88279c585d3678646fe0f3 (patch) | |
tree | 61b62be1d256091279e1aab17717c4f1f23a4bba /pkgs/development/libraries/flint | |
parent | 98792fe35152d3470929b40ad83359b605233a76 (diff) | |
download | nixpkgs-cad446513eb011f0ba88279c585d3678646fe0f3.tar nixpkgs-cad446513eb011f0ba88279c585d3678646fe0f3.tar.gz nixpkgs-cad446513eb011f0ba88279c585d3678646fe0f3.tar.bz2 nixpkgs-cad446513eb011f0ba88279c585d3678646fe0f3.tar.lz nixpkgs-cad446513eb011f0ba88279c585d3678646fe0f3.tar.xz nixpkgs-cad446513eb011f0ba88279c585d3678646fe0f3.tar.zst nixpkgs-cad446513eb011f0ba88279c585d3678646fe0f3.zip |
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.
Diffstat (limited to 'pkgs/development/libraries/flint')
-rw-r--r-- | pkgs/development/libraries/flint/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/development/libraries/flint/default.nix b/pkgs/development/libraries/flint/default.nix index 67bf7503db9..2b3f75b80db 100644 --- a/pkgs/development/libraries/flint/default.nix +++ b/pkgs/development/libraries/flint/default.nix @@ -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 |