Unverified Commit d53f7b6b authored by Tommaso Tocci's avatar Tommaso Tocci
Browse files

fix set installation prefix for rocksDB 

Use INSTALL_PATH env variable to set rocksDB installtion path instead of using sed hack
parent 3a8e8ea5

ifs/scripts/compile_dep.sh

+1 −2
Original line number Diff line number Diff line
@@ -330,8 +330,7 @@ echo "############################################################ Installing: 
CURR=${SOURCE}/rocksdb

cd ${CURR}

make clean || exit 1

sed -i.bak "s#INSTALL_PATH ?= /usr/local#INSTALL_PATH ?= ${INSTALL}#g" Makefile

make -j${CORES} static_lib || exit 1

make install || exit 1

make INSTALL_PATH=${INSTALL} install || exit 1



echo "Done"