Flag emit_ida_script
  Description: Build IDA plugin
  Default: false

Library emit_ida_script_plugin
  Build$:           flag(everything) || flag(emit_ida_script)
  Path:             plugins/emit_ida_script
  FindlibName:      bap-plugin-emit_ida_script
  BuildDepends:     bap, core_kernel, ppx_bap, regular
  Modules:          Emit_ida_script_main
  XMETADescription: extract a IDA python script from bap
  XMETAExtraLines:  tags="ida, python"