Merge pull request #39333 from markuskowa/openmpi-up

openmpi: 3.0.0 -> 3.0.1
This commit is contained in:
Jörg Thalheim 2018-04-23 08:11:14 +01:00 committed by GitHub
commit 8206341757
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -9,14 +9,14 @@
let
majorVersion = "3.0";
minorVersion = "0";
minorVersion = "1";
in stdenv.mkDerivation rec {
name = "openmpi-${majorVersion}.${minorVersion}";
src = fetchurl {
url = "http://www.open-mpi.org/software/ompi/v${majorVersion}/downloads/${name}.tar.bz2";
sha256 = "1mw2d94k6mp4scg1wnkj50vdh734fy5m2ygyrj65s4mh3prbz6gn";
sha256 = "0pbqrm5faf57nasy1s81wqivl7zvxmv8lzjh8hvb0f3qxv8m0d36";
};
postPatch = ''