Flag primus_random
  Description: Build Primus randomization components
  Default: false

Library primus_random_library_plugin
  Build$:       flag(everything) || flag(primus_random)
  Path:         plugins/primus_random
  BuildDepends: bap-primus, bap, core_kernel, ppx_bap, bap-main,
                bitvec, bitvec-sexp, zarith, bap-core-theory
  FindlibName:     bap-plugin-primus_random
  CompiledObject:  best
  InternalModules: Primus_random_main
  XMETADescription: primus randomization components
  XMETAExtraLines:  tags="primus"