fflas-ffpack: add patch to fix flaky test

This commit is contained in:
Timo Kaufmann
2018-12-28 13:35:06 +01:00
parent 8d84ba7037
commit ee1f54dbdb

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
];