(library
 (name bap_map_terms_plugin)
 (public_name bap-term-mapper.plugin)
 (preprocess (pps ppx_bap))
 (libraries bap bap-bml bap-main core_kernel regular))

(plugin
 (name map-terms)
 (package bap-term-mapper)
 (libraries bap-term-mapper.plugin)
 (site (bap-common plugins)))
