From 1f2ba6096b1d88a12e4b36bc2e39f95aa25cfd08 Mon Sep 17 00:00:00 2001
From: Bhargavasomu <somubhargava97@gmail.com>
Date: Thu, 25 Oct 2018 18:33:46 +0530
Subject: [PATCH] Making RocksDB installation Global

---
 .circleci/install_rocksdb.sh | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/.circleci/install_rocksdb.sh b/.circleci/install_rocksdb.sh
index 946e49b0cd..d4dbeac4c2 100644
--- a/.circleci/install_rocksdb.sh
+++ b/.circleci/install_rocksdb.sh
@@ -20,4 +20,10 @@ if [ ! -f "/usr/lib/librocksdb.so.5" ]; then
 fi
 if [ ! -f "/usr/lib/librocksdb.so" ]; then
   ln -fs /home/circleci/rocksdb/librocksdb.so.5.8.8 /usr/lib/librocksdb.so
-fi  
+fi
+
+# globally install headers
+if [ ! -d "/usr/include/rocksdb" ]; then
+  sudo mkdir -p /usr/include/rocksdb/
+  ln -fs /home/circleci/rocksdb /usr/include/rocksdb
+fi