Merge pull request #97043 from markuskowa/upd-openmpi

openmpi: 4.0.4 -> 4.0.5
This commit is contained in:
markuskowa 2020-09-04 09:17:04 +02:00 committed by GitHub
commit f3bf0f173e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -18,7 +18,7 @@
assert !cudaSupport || cudatoolkit != null; assert !cudaSupport || cudatoolkit != null;
let let
version = "4.0.4"; version = "4.0.5";
cudatoolkit_joined = symlinkJoin { cudatoolkit_joined = symlinkJoin {
name = "${cudatoolkit.name}-unsplit"; name = "${cudatoolkit.name}-unsplit";
@ -30,7 +30,7 @@ in stdenv.mkDerivation rec {
src = with stdenv.lib.versions; fetchurl { src = with stdenv.lib.versions; fetchurl {
url = "https://www.open-mpi.org/software/ompi/v${major version}.${minor version}/downloads/${pname}-${version}.tar.bz2"; url = "https://www.open-mpi.org/software/ompi/v${major version}.${minor version}/downloads/${pname}-${version}.tar.bz2";
sha256 = "1i0slg2dxjdgw513aml1n9dsbdxn2fimi2b5712d5r9z4ar4xqj7"; sha256 = "02f0r9d3xgs08svkmj8v7lzviyxqnkk4yd3z0wql550xnriki3y5";
}; };
postPatch = '' postPatch = ''