Merge pull request #70849 from markuskowa/upd-openmpi

openmpi: 4.0.1 -> 4.0.2
This commit is contained in:
markuskowa 2019-10-09 13:28:14 +02:00 committed by GitHub
commit eb7ecd3b6f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -9,7 +9,7 @@
}:
let
version = "4.0.1";
version = "4.0.2";
in stdenv.mkDerivation rec {
pname = "openmpi";
@ -17,17 +17,9 @@ in stdenv.mkDerivation rec {
src = with stdenv.lib.versions; fetchurl {
url = "https://www.open-mpi.org/software/ompi/v${major version}.${minor version}/downloads/${pname}-${version}.tar.bz2";
sha256 = "02cpzcp113gj5hb0j2xc0cqma2fn04i2i0bzf80r71120p9bdryc";
sha256 = "0ms0zvyxyy3pnx9qwib6zaljyp2b3ixny64xvq3czv3jpr8zf2wh";
};
patches = [
(fetchpatch {
name = "openmpi-mca_btl_vader_component_close-segfault.patch";
url = "https://github.com/open-mpi/ompi/pull/6526.patch";
sha256 = "0s7ac9rkcj3fi6ampkvy76njlj478yyr4zvypjc7licy6dgr595x";
})
];
postPatch = ''
patchShebangs ./