Flag bil
 Description: Build bil plugin
 Default: false

Library bil_plugin
  XMETADescription: Provides bil optimizations
  Path:             plugins/bil
  Build$:           flag(everything) || flag(bil)
  FindlibName:      bap-plugin-bil
  BuildDepends:     bap, bap-core-theory, bap-knowledge, core_kernel,
                    ppx_bap, bap-future, monads, bitvec, bitvec-order, ogre, bap-main
  XMETAExtraLines:  tags="bil,analysis,semantics"
  InternalModules:  Bil_main, Bil_lifter, Bil_semantics, Bil_ir, Bil_float
