Flag stub_resolver
  Description: Build Stub Resolver plugin
  Default: false

Library bap-plugin-stub_resolver
  Build$:       flag(everything) || flag(stub_resolver)
  Path:         plugins/stub_resolver/
  BuildDepends: bap, bap-abi, bap-knowledge, bap-core-theory, core_kernel,
                bitvec, bitvec-order, bitvec-sexp,
                bap-main, ppx_bap, ogre, graphlib, regular
  FindlibName:     bap-plugin-stub_resolver
  CompiledObject:  best
  Modules:         Stub_resolver
  InternalModules: Stub_resolver_main, Stub_resolver_sites
  XMETADescription: Substitutes calls to stubs with calls to real functions
  XMETAExtraLines:  tags="abi"
  DataFiles:        signatures/*.stubs ($datadir/bap/signatures)


Library stub_resolver_tests
  Path:           plugins/stub_resolver
  FindLibParent:  bap-plugin-stub_resolver
  FindlibName:    tests
  Build$:         flag(tests) && (flag(everything) || flag(stub_resolver))
  CompiledObject: best
  BuildDepends:   bap, oUnit, core_kernel, ppx_bap, bap-plugin-stub_resolver
  Install:        false
  Modules:        Stub_resolver_tests

Executable run_stub_resolver_tests
  Path:		  plugins/stub_resolver
  Build$:	  flag(tests) && (flag(everything) || flag(stub_resolver))
  CompiledObject: best
  BuildDepends:	  findlib.dynload, oUnit, bap-main, bap-plugin-stub_resolver.tests
  Install:	  false
  MainIs:         run_stub_resolver_tests.ml


Test stub_resolver_tests
 TestTools: run_stub_resolver_tests
 Run$: flag(tests) && (flag(everything) || flag(stub_resolver))
 Command: $run_stub_resolver_tests
