Merge pull request #35694 from markuskowa/rdma-core-pr

rdma-core: 16.1 -> 17
This commit is contained in:
Jörg Thalheim 2018-02-28 11:35:46 +00:00 committed by GitHub
commit 929de0e5bb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3,7 +3,7 @@
} : } :
let let
version = "16.1"; version = "17";
in stdenv.mkDerivation { in stdenv.mkDerivation {
name = "rdma-core-${version}"; name = "rdma-core-${version}";
@ -12,7 +12,7 @@ in stdenv.mkDerivation {
owner = "linux-rdma"; owner = "linux-rdma";
repo = "rdma-core"; repo = "rdma-core";
rev = "v${version}"; rev = "v${version}";
sha256 = "1fixw6hpf732vzlpczx0b2y84jrhgfjr3cljqxky7makzgh2s7ng"; sha256 = "1xql46favv8i4ni4zqkk9ra2kcqq2dyn7jyi940c869lndmjw9ni";
}; };
nativeBuildInputs = [ cmake pkgconfig ]; nativeBuildInputs = [ cmake pkgconfig ];