Post
Topic
Board Announcements (Altcoins)
Re: [PRE-ANN] Qeditas: A Formal Library as a Bitcoin Spin-Off
by
Trent Russell
on 07/06/2016, 10:33:01 UTC
Here's a link to a branch where I tried to use leveldb:

https://github.com/trentrussell/qeditas/tree/trdevnfth-leveldb

It 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:

Code:
./configure -leveldb= -ocamlinclude=/lib/ocaml
make

I have in my notes though that in some situation I got an error like:

Code:
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.