Unverified Commit 857f8eaf authored by Tommaso Tocci's avatar Tommaso Tocci
Browse files

deps: update RocksDB

parent 8d858c9b

scripts/dl_dep.sh

+1 −1
Original line number Diff line number Diff line
@@ -195,7 +195,7 @@ wgetdeps "argobots" "https://github.com/pmodels/argobots/archive/v1.0rc1.tar.gz" 
# get Margo

clonedeps "margo" "https://xgitlab.cels.anl.gov/sds/margo.git" "6ed94e4f3a4d526b0a3b4e57be075461e86d3666" &

# get rocksdb

wgetdeps "rocksdb" "https://github.com/facebook/rocksdb/archive/v6.1.2.tar.gz" &

wgetdeps "rocksdb" "https://github.com/facebook/rocksdb/archive/v6.2.2.tar.gz" &

# get syscall_intercept

clonedeps "syscall_intercept" "https://github.com/pmem/syscall_intercept.git" "cc3412a2ad39f2e26cc307d5b155232811d7408e" &