minisat-haskell- bindings (build error)

[Johannes Waldmann]

this looks promising:

https://github.com/niklasso/minisat-haskell-bindings

but when I build (amd64, gcc-4.6.2, ghc-7.2.2) I get

cabal build

Preprocessing library minisat-0...
/usr/local/lib/libminisat-c.so: undefined reference to
`Minisat::SimpSolver::addClause_(Minisat::vec<Minisat::Lit, int>&)'
collect2: ld returned 1 exit status
linking dist/build/MiniSat_hsc_make.o failed (exit code 1)
command was: /usr/bin/gcc dist/build/MiniSat_hsc_make.o -o
dist/build/MiniSat_hsc_make -lminisat-c -lminisat -lz
-L/usr/local/lib/ghc-7.2.2/base-4.4.1.0
-Wl,-R,/usr/local/lib/ghc-7.2.2/base-4.4.1.0
-L/usr/local/lib/ghc-7.2.2/integer-gmp-0.3.0.0
-Wl,-R,/usr/local/lib/ghc-7.2.2/integer-gmp-0.3.0.0 -lgmp
-L/usr/local/lib/ghc-7.2.2/ghc-prim-0.2.0.0
-Wl,-R,/usr/local/lib/ghc-7.2.2/ghc-prim-0.2.0.0
-L/usr/local/lib/ghc-7.2.2 -Wl,-R,/usr/local/lib/ghc-7.2.2 -lm -lrt -ldl
-L/usr/local/lib/ghc-7.2.2 -Wl,-R,/usr/local/lib/ghc-7.2.2

best regards, Johannes Waldmann.