fflas-ffpack: add patch to fix flaky test (#53005)

This commit is contained in:
Timo Kaufmann 2018-12-28 14:02:43 +01:00 committed by GitHub
parent 22d0f320e8
commit d84ac4f43f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,4 +1,5 @@
{ stdenv, fetchFromGitHub, autoreconfHook, givaro, pkgconfig, blas
, fetchpatch
, gmpxx
, optimize ? false # impure
}:
@ -14,6 +15,15 @@ stdenv.mkDerivation rec {
sha256 = "1cqhassj2dny3gx0iywvmnpq8ca0d6m82xl5rz4mb8gaxr2kwddl";
};
patches = [
# https://github.com/linbox-team/fflas-ffpack/issues/146
(fetchpatch {
name = "fix-flaky-test-fgemm-check.patch";
url = "https://github.com/linbox-team/fflas-ffpack/commit/d8cd67d91a9535417a5cb193cf1540ad6758a3db.patch";
sha256 = "1gnfc616fvnlr0smvz6lb2d445vn8fgv6vqcr6pwm3dj4wa6v3b3";
})
];
checkInputs = [
gmpxx
];