Flag taint
  Description: Build a tainter plugin
  Default: false

Library taint
  Build$: flag(everything) || flag(taint)
  Path: lib/bap_taint
  FindlibName: bap-taint
  CompiledObject: best
  BuildDepends: core_kernel, bap, bap-primus, monads, ppx_bap, bap-strings, regular
  Modules: Bap_taint

Library taint_plugin
  Build$:  flag(everything) || flag(taint)
  Path: plugins/taint
  FindlibName: bap-plugin-taint
  BuildDepends: bap, core_kernel, ppx_bap, regular
  InternalModules: Taint_main
  XMETADescription: taint specified terms
  XMETAExtraLines:  tags="dataflow, pass, taint"
