dwarf

########### Dwarf Library #########################
Flag dwarf
  Description: Build Bap_dwarf library
  Default: false

Library dwarf
  Path:          lib/bap_dwarf
  FindlibName:   bap-dwarf
  Build$:        flag(everything) || flag(dwarf)
  BuildDepends:  bap, core_kernel, core_kernel.binary_packing, ppx_bap, regular
  Modules:       Bap_dwarf

  InternalModules:
                 Dwarf_data,
                 Dwarf_fbi,
                 Dwarf_input,
                 Dwarf_leb128,
                 Dwarf_types

Library dwarf_test
  Path:           lib_test/bap_dwarf
  Build$:         flag(tests) && (flag(everything) || flag(dwarf))
  CompiledObject: best
  BuildDepends:   bap-dwarf, oUnit, core_kernel
  Install:        false
  Modules:        Test_leb128


Executable run_dwarf_tests
  Path:		  lib_test/bap_dwarf
  Build$:	  flag(tests) && (flag(everything) || flag(dwarf))
  CompiledObject: best
  BuildDepends:	  bap, oUnit, bap-dwarf, dwarf_test
  Install:	  false
  MainIs: run_tests.ml

Test dwarf_tests
 TestTools: run_dwarf_tests
 Run$: flag(tests) && (flag(everything) || flag(dwarf))
 Command: $run_dwarf_tests

Test dwarf_inline_tests
 TestTools: run_dwarf_tests
 Run$: flag(tests) && (flag(everything) || flag(dwarf))
 Command: $run_dwarf_tests inline-test-runner bap -show-counts