MikeMirzayanov/riorita — pull request #1 by theraphim (2014-12-27 20:15:24+00:00)
Title: RocksDB support.

Checkout RocksDB into ../../rocksdb, then make static_lib
(should produce librocksdb.a). Then, ./compile.sh riorita as usual.