diff options
Diffstat (limited to 'pkgs/development/libraries/flint')
| -rw-r--r-- | pkgs/development/libraries/flint/default.nix | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/pkgs/development/libraries/flint/default.nix b/pkgs/development/libraries/flint/default.nix index 74707356a2c9..475428167060 100644 --- a/pkgs/development/libraries/flint/default.nix +++ b/pkgs/development/libraries/flint/default.nix @@ -13,10 +13,12 @@ assert withBlas -> openblas != null && blas.implementation == "openblas" && lapa stdenv.mkDerivation rec { pname = "flint"; version = "2.7.1"; + src = fetchurl { url = "http://www.flintlib.org/flint-${version}.tar.gz"; sha256 = "07j8r96kdzp19cy3a5yvpjxf90mkd6103yr2n42qmpv7mgcjyvhq"; }; + buildInputs = [ gmp mpir @@ -37,9 +39,6 @@ stdenv.mkDerivation rec { "--with-blas=${openblas}" ]; - # issues with ntl -- https://github.com/wbhart/flint2/issues/487 - env.NIX_CXXSTDLIB_COMPILE = "-std=c++11"; - doCheck = true; meta = { inherit version; |