Merge pull request #38998 from yorickvP/rocksdb-full

rocksdb: package binary tools
This commit is contained in:
Yegor Timoshenko 2018-04-16 12:38:00 +00:00 committed by GitHub
commit 63a865c403
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -15,12 +15,13 @@
let
malloc = if jemalloc != null then jemalloc else gperftools;
tools = [ "sst_dump" "ldb" "rocksdb_dump" "rocksdb_undump" "blob_dump" ];
in
stdenv.mkDerivation rec {
name = "rocksdb-${version}";
version = "5.10.3";
outputs = [ "dev" "out" "static" ];
outputs = [ "dev" "out" "static" "bin" ];
src = fetchFromGitHub {
owner = "facebook";
@ -55,7 +56,7 @@ stdenv.mkDerivation rec {
buildFlags = buildAndInstallFlags ++ [
"shared_lib"
"static_lib"
];
] ++ tools ;
installFlags = buildAndInstallFlags ++ [
"INSTALL_PATH=\${out}"
@ -69,6 +70,9 @@ stdenv.mkDerivation rec {
cat make_config.mk
mkdir -pv $static/lib/
mv -vi $out/lib/${LIBNAME}.a $static/lib/
install -d ''${!outputBin}/bin
install -D ${stdenv.lib.concatStringsSep " " tools} ''${!outputBin}/bin
'';
enableParallelBuilding = true;