fixes installation from opam

BinaryAnalysisPlatform / bap

Binary Analysis Platform

MIT License

2.07k stars 273 forks source link

Closed ivg closed 1 year ago

ivg commented 1 year ago

When bap installed from the testing repository it fails on frontends due to a missing dependency

Bap_plugins_loader_backend referenced from
/home/runner/work/bap/bap/_opam/lib/bap-plugins/bap_plugins.cmxa(Bap_common)

Also improves the opam workflow and adds functional checks.

ivg commented 1 year ago

Also shall fix the docker pusher workflow.