Merge pull request #122604 from rmcgibbo/flint

flint: fix build on darwin
This commit is contained in:
Michael Raskin 2021-05-11 18:26:38 +00:00 committed by GitHub
commit 010661db26
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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
NIX_CXXSTDLIB_COMPILE = "-std=c++11";
doCheck = true;
meta = {
inherit version;