Attempt to update RocksDB to 5.1.2.

This commit is contained in:
David James 2017-02-18 16:42:12 -08:00 committed by Graham Christensen
parent e6fd2284f5
commit 85fba54bc6
No known key found for this signature in database
GPG Key ID: 06121D366FE9435C

View File

@ -13,13 +13,13 @@ let
in in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "rocksdb-${version}"; name = "rocksdb-${version}";
version = "4.13"; version = "5.1.2";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "facebook"; owner = "facebook";
repo = "rocksdb"; repo = "rocksdb";
rev = "v${version}"; rev = "v${version}";
sha256 = "1bxyykj13mw48yk108bkmxlfrp6bd95f27bysayax4lqxkgx0zzw"; sha256 = "1smahz67gcd86nkdqaml78lci89dza131mlj5472r4sxjdxsx277";
}; };
buildInputs = [ snappy google-gflags zlib bzip2 lz4 malloc fixDarwinDylibNames ]; buildInputs = [ snappy google-gflags zlib bzip2 lz4 malloc fixDarwinDylibNames ];