Merge pull request #36809 from cleverca22/split-rocks

rocksdb: use split outputs
This commit is contained in:
Graham Christensen 2018-03-11 12:06:01 -04:00 committed by GitHub
commit 53ec101edd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -20,6 +20,8 @@ stdenv.mkDerivation rec {
name = "rocksdb-${version}";
version = "5.10.3";
outputs = [ "dev" "out" "static" ];
src = fetchFromGitHub {
owner = "facebook";
repo = "rocksdb";
@ -65,6 +67,8 @@ stdenv.mkDerivation rec {
# Might eventually remove this when we are confident in the build process
echo "BUILD CONFIGURATION FOR SANITY CHECKING"
cat make_config.mk
mkdir -pv $static/lib/
mv -vi $out/lib/librocksdb.a $static/lib/
'';
enableParallelBuilding = true;