(library
  (name bap_core_theory_plugin)
  (public_name bap-core-theory.plugin)
  (preprocess (pps ppx_bap))
  (libraries bap-core-theory bap-knowledge bap-main
             bitvec core_kernel monads))

(plugin
  (name core-theory)
  (package bap-core-theory)
  (libraries bap-core-theory.plugin)
  (site (bap-common plugins)))
