Flag primus
  Description: Microexecution framework
  Default: false

Library bap_primus
  Build$: flag(everything) || flag(primus)
  XMETADescription: microexecution framework
  Path: lib/bap_primus
  FindlibName: bap-primus
  CompiledObject: best
  BuildDepends: bap, bap-abi, bap-c, uuidm, bap-future, parsexp, bap-strings,
                core_kernel, regular, monads, graphlib, bap-knowledge,
                bap-core-theory, zarith, bitvec, zarith, ppx_bap,
                bitvec-binprot
  Modules: Bap_primus
  InternalModules:
           Bap_primus_env,
           Bap_primus_exn,
           Bap_primus_generator,
           Bap_primus_generator_types,
           Bap_primus_info,
           Bap_primus_interpreter,
           Bap_primus_iterator,
           Bap_primus_linker,
           Bap_primus_lisp,
           Bap_primus_lisp_attribute,
           Bap_primus_lisp_attributes,
           Bap_primus_lisp_context,
           Bap_primus_lisp_def,
           Bap_primus_lisp_index,
           Bap_primus_lisp_loc,
           Bap_primus_lisp_parse,
           Bap_primus_lisp_program,
           Bap_primus_lisp_resolve,
           Bap_primus_lisp_semantics,
           Bap_primus_lisp_source,
           Bap_primus_lisp_type,
           Bap_primus_lisp_types,
           Bap_primus_lisp_var,
           Bap_primus_lisp_word,
           Bap_primus_analysis,
           Bap_primus_machine,
           Bap_primus_main,
           Bap_primus_memory,
           Bap_primus_observation,
           Bap_primus_pos,
           Bap_primus_random,
           Bap_primus_sexp,
           Bap_primus_state,
           Bap_primus_system,
           Bap_primus_types,
           Bap_primus_value
