(library
  (name demangle)
  (public_name bap-demangle.plugin)
  (libraries
    bap-core-theory
    bap-demangle
    bap-knowledge
    bap-main
    core_kernel))

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