Merge pull request #41639 from dtzWill/fix/openblas-remove-applied-patch

openblas: remove patch that's no longer needed (PR merged)
This commit is contained in:
Will Dietz 2018-06-07 14:20:30 -05:00 committed by GitHub
commit 75eeb5fb57
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -118,12 +118,7 @@ stdenv.mkDerivation {
] ++ stdenv.lib.optional (stdenv.hostPlatform.libc == "musl") "NO_AFFINITY=1" ] ++ stdenv.lib.optional (stdenv.hostPlatform.libc == "musl") "NO_AFFINITY=1"
++ mapAttrsToList (var: val: var + "=" + val) config; ++ mapAttrsToList (var: val: var + "=" + val) config;
patches = stdenv.lib.optional (stdenv.hostPlatform.libc != "glibc") patches = []; # TODO: Remove on next mass-rebuild
# https://github.com/xianyi/OpenBLAS/pull/1247
(fetchpatch {
url = "https://github.com/xianyi/OpenBLAS/commit/88a35ff457f55e527e0e8a503a0dc61976c1846d.patch";
sha256 = "1a3qrhvl5hp06c53fjqghq4zgf6ls7narm06l0shcvs57hznh09n";
});
doCheck = true; doCheck = true;
checkTarget = "tests"; checkTarget = "tests";