(library
 (name bap_objdump_plugin)
 (public_name bap-objdump.plugin)
 (libraries
   bap-core-theory
   bap-knowledge
   bap-main
   bap-relation
   bitvec
   bitvec-order
   bitvec-sexp
   core_kernel
   core_kernel.caml_unix
   re.pcre))

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


(rule
 (target objdump_config.ml)
 (deps objdump_config.ml.ab (alias ../../config))
 (action
  (with-stdin-from %{deps}
   (with-stdout-to %{target}
    (chdir %{workspace_root}
     (run ./tools/rewrite.exe -filename %{deps}))))))
