openmpi: 4.0.1 -> 4.0.2

removed upstream patch
wip/yesman
Markus Kowalewski 5 years ago
parent cfcc975798
commit 9b04b8cf2b
No known key found for this signature in database
GPG Key ID: 502A248E3FB4FF48
  1. 12
      pkgs/development/libraries/openmpi/default.nix

@ -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 ./

Loading…
Cancel
Save