Merge pull request #147591 from trofi/enable-parallel-gsl_1

This commit is contained in:
Sandro 2021-11-29 20:25:23 +01:00 committed by GitHub
commit 78bf1bb7aa
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -17,8 +17,15 @@ stdenv.mkDerivation rec {
url = "https://git.savannah.gnu.org/cgit/gsl.git/patch/?id=9cc12d"; url = "https://git.savannah.gnu.org/cgit/gsl.git/patch/?id=9cc12d";
sha256 = "1bmrmihi28cly9g9pq54kkix2jy59y7cd7h5fw4v1c7h5rc2qvs8"; sha256 = "1bmrmihi28cly9g9pq54kkix2jy59y7cd7h5fw4v1c7h5rc2qvs8";
}) })
(fetchpatch {
name = "fix-parallel-test.patch";
url = "https://git.savannah.gnu.org/cgit/gsl.git/patch/?id=12654373c3b60541230921aae81f93b484ec5eaf";
sha256 = "1flzpbsfj7gjywv6v9qvm8wpdrkbpj7shryinfdpb40y7si9njdw";
})
]; ];
enableParallelBuilding = true;
doCheck = true; doCheck = true;
meta = { meta = {