Upgrade to RocksDB 8.1.1 (#1013)

2023-06-15 11:54:24 +02:00
parent cb4b71bdbd
commit 7fb3f62703
3 changed files with 16 additions and 2 deletions
--- a/libs/setup.sh
+++ b/libs/setup.sh
@@ -192,10 +192,10 @@ cd json
 file_get_try_double "${primary_urls[nlohmann]}" "${secondary_urls[nlohmann]}"
 cd ..

-rocksdb_tag="v6.14.6" # (2020-10-14)
+rocksdb_tag="v8.1.1" # (2023-04-21)
 repo_clone_try_double "${primary_urls[rocksdb]}" "${secondary_urls[rocksdb]}" "rocksdb" "$rocksdb_tag" true
 pushd rocksdb
-git apply ../rocksdb.patch
+git apply ../rocksdb8.1.1.patch
 popd

 # mgclient