Flag arm
 Description: Build ARM lifter
 Default: false

Library "bap-arm"
 XMETADescription: arm lifting
 Path:             lib/arm
 Build$:           flag(everything) || flag(arm)
 BuildDepends:     bap, core_kernel, ppx_bap, regular,
                   bap-core-theory, bap-knowledge, ogre,
                   bitvec, bitvec-order, bap-primus, bap-traces
 FindlibName:      bap-arm
 Modules:
                 ARM,
                 Arm_bit,
                 Arm_branch,
                 Arm_cond,
                 Arm_env,
                 Arm_flags,
                 Arm_helpers,
                 Arm_insn,
                 Arm_lifter,
                 Arm_mem,
                 Arm_mem_shift,
                 Arm_mov,
                 Arm_mul,
                 Arm_op,
                 Arm_reg,
                 Arm_shift,
                 Arm_target,
                 Arm_types,
                 Arm_utils


Library arm_plugin
  Build$:           flag(everything) || flag(arm)
  Path:             plugins/arm
  FindlibName:      bap-plugin-arm
  BuildDepends:     bap, bap-core-theory, bap-abi, bap-arm, bap-c,
                    core_kernel, bap-main, bap-api, monads, ppx_bap
  InternalModules:  Arm_main, Arm_gnueabi
  DataFiles:        semantics/*.lisp ($datadir/bap/primus/semantics)
  XMETADescription: provide ARM lifter
  XMETAExtraLines:  tags="arm, lifter"
