########### Bap_ida Library #############################

Flag ida
  Description: Build IDA integration library
  Default: false

Library bap_ida
  Path:             lib/bap_ida
  FindlibName:      bap-ida
  CompiledObject:   best
  Build$:           flag(everything) || flag(ida)
  Modules:          Bap_ida
  BuildDepends:     fileutils, re.posix, core_kernel, ppx_bap
  XMETADescription: make calls into IDA

Library bap_ida_plugin
  Build$:           flag(everything) || flag(ida)
  Path:             plugins/ida
  FindlibName:      bap-plugin-ida
  CompiledObject:   best
  BuildDepends:     bap, bap-ida, core_kernel, ppx_bap, fileutils,
                    re.posix, bap-knowledge, graphlib, regular, bap-future, mmap,
                    core_kernel.caml_unix
  Modules:          Ida_main
  InternalModules:  Bap_ida_config, Bap_ida_service, Bap_ida_info
  XMETADescription: use ida to provide rooter, symbolizer and reconstructor
  XMETAExtraLines:  tags="ida, rooter, brancher, symbolizer, reconstructor"
