Here's a link to a branch where I tried to use leveldb:
https://github.com/trentrussell/qeditas/tree/trdevnfth-leveldbIt actually does compile, at least for me on debian. I got leveldb-1.18 and then compiled it. To compile qeditas I first had to set some directories are set using the configure file:
./configure -leveldb= -ocamlinclude=/lib/ocaml
make
I have in my notes though that in some situation I got an error like:
Error: Error on dynamically loaded library: ./bin/dlldb.so: ./bin/dlldb.so: undefined symbol: _ZN7leveldb2DB4OpenERKNS_7OptionsERKSsPPS0_
Instead of trying to figure this out, I switched to just saving things in files. I assume this is some kind of linking error which would be easy to resolve if I knew more about it.