Following the setup instructions, running opam install bap-server and building from source (after figuring out LLVM dependencies, etc):
- It seems
bap-server uses ~/.opam/system/bin/bap. This binary is version 1.4.0, quite old.
- Installing the latest release
.deb packages on the system doesn't change the version used by bap-server, I think.
How can I configure the Python bindings to use a current BAP version through bap-server? Maybe bap-server can be added to the Debian releases, since it's a bit challenging to build?
Following the setup instructions, running
opam install bap-serverand building from source (after figuring out LLVM dependencies, etc):bap-serveruses~/.opam/system/bin/bap. This binary is version1.4.0, quite old..debpackages on the system doesn't change the version used bybap-server, I think.How can I configure the Python bindings to use a current BAP version through
bap-server? Maybebap-servercan be added to the Debian releases, since it's a bit challenging to build?