(library
  (name specification)
  (public_name bap-specification.plugin)
  (libraries bap core_kernel bap-main ogre regular))

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