change rocksdb version in cache
change rocksdb version in cache
@@ -53,7 +53,7 @@ dependencies:
make install;
fi
- |
- if [[ ! -e $HOME/.local/lib/librocksdb.so ]]; then
+ if [[ ! -e $HOME/.local/lib/librocksdb.so.5.2.1 ]]; then
export CPLUS_INCLUDE_PATH="${LOCAL_PREFIX}/include" && \
cd /tmp && \
curl -L https://github.com/facebook/rocksdb/archive/v5.2.1.tar.gz -o rocksdb.tar.gz && \
