flint3: fix NTL test

This commit is contained in:
George Huebner 2024-03-23 19:14:05 -05:00 committed by Mauricio Collares
parent 56ceb0cc7d
commit e7f6ab70bf

View File

@ -1,5 +1,6 @@
{ lib { lib
, stdenv , stdenv
, fetchpatch
, fetchurl , fetchurl
, gmp , gmp
, mpfr , mpfr
@ -24,6 +25,13 @@ stdenv.mkDerivation rec {
sha256 = "sha256-ezEaAFA6hjiB64F32+uEMi8pOZ89fXLzsaTJuh1XlLQ="; sha256 = "sha256-ezEaAFA6hjiB64F32+uEMi8pOZ89fXLzsaTJuh1XlLQ=";
}; };
patches = [
(fetchpatch {
url = "https://github.com/flintlib/flint/commit/e7d005c369754243cba32bd782ea2a5fc874fde5.diff";
hash = "sha256-IqEtYEpNVXfoTeerh/0ig+eDqUpAlGdBB3uO8ShYh3o=";
})
];
nativeBuildInputs = [ nativeBuildInputs = [
autoconf autoconf
automake automake