Seems to be incompatible with bap 1.3.0

[argp]

With bap installed from OPAM:

$ bap --version 1.3.0

Then in IDA with the plugin loaded correctly I get the following when I try to use it:

bap: unknown option '--emit-ida-script-attr'.
        unknown option '--emit-ida-script-file'.
Usage: bap [OPTION]... FILE
Try 'bap --help' for more information.

[ivg]

Did you install the bap-ida package?

[argp]

Damn, that was it, thanks.

I was sure that opam depext --install bap installed bap-ida as well...