(library
 (name bap_arm)
 (public_name bap-arm)
 (preprocess (pps ppx_bap))
 (wrapped false)
 (libraries
   bap
   bap-core-theory
   bap-knowledge
   bap-primus
   bap-traces
   bitvec
   bitvec-order
   core_kernel
   ogre
   regular))
