search

BinaryAnalysisPlatform / bap-bindings

C Bindings to BAP
MIT License
15 stars 9 forks source link

Unbound value #7

Closed asis-team closed 5 years ago

asis-team commented 7 years ago

During make I got following errors: File "bap/lib/bindings.ml", line 755, characters 45-58: Error: Unbound value Word.unsigned Hint: Did you mean signed? Makefile:75: recipe for target '_build/bap/lib/bindings.cmx' failed make: *** [_build/bap/lib/bindings.cmx] Error 2

ivg commented 7 years ago

Word.unsigned was added on bap.1.3 so it looks like that you have an older version. Either upgrade BAP or downgrade bap-bindings

Note, BAP.1.3 is not yet in the official ocaml repository - the process usually takes some time, so you can get it by linking our opam-repository, e.g.,

opam repo add bap-v1.3 git://github.com/BinaryAnalysisPlatform/opam-repository#v1.3
maurer commented 7 years ago

If you're mostly just looking to use bap-bindings, and not extend bap through plugins or similar mechanisms, the prebuilt artifacts may be helpful to you. (To develop against libbap (what bap-bindings becomes) you'll need bap, libbap, and libbap-dev)