~ salmonella-environment-setup (master) a266ba12b4fca08e10e38c569aefc0e4215b6a21

commit a266ba12b4fca08e10e38c569aefc0e4215b6a21
Author:     Mario Domenech Goulart <mario@parenteses.org>
AuthorDate: Sat Jun 26 11:27:10 2021 +0200
Commit:     Mario Domenech Goulart <mario@parenteses.org>
CommitDate: Sat Jun 26 11:27:10 2021 +0200

    debian-stretch.sh: add installation instructions for rocksdb

diff --git a/system-setup/debian-stretch.sh b/system-setup/debian-stretch.sh
index ff1c16e..0b7acdb 100755
--- a/system-setup/debian-stretch.sh
+++ b/system-setup/debian-stretch.sh
@@ -300,6 +300,7 @@ cmake ..
 make
 sudo make install
 
+
 ### lzmalib
 
 mkdir -p $tmpdir/lzmalib
@@ -312,6 +313,17 @@ make
 sudo make install
 
 
+### rocksdb
+
+mkdir -p "$tmpdir/rocksdb"
+cd "$tmpdir/rocksdb"
+git clone https://github.com/facebook/rocksdb.git
+cd rocksdb
+git checkout v6.20.3
+make shared_lib
+sudo make install
+
+
 ### Finishing
 sudo ldconfig