Flag primus_limit
  Description: build Primus limit plugin
  Default: false

Library primus_limit
  Path: plugins/primus_limit
  Build$: flag(everything) || flag(primus_limit)
  FindlibName: bap-plugin-primus_limit
  CompiledObject: best
  BuildDepends: bap, bap-primus, bap, core_kernel, monads, bap-future, regular
  XMETADescription: ensures termination by limiting Primus machines
  Modules: Primus_limit_main
  XMETAExtraLines: tags="primus"
