_oasis

OASISFormat:  0.4
Name:         ppc-model
Version:      0.2
Synopsis:     PowerPC lifter
Authors:      BAP Team
Maintainers:  Ivan Gotovchits <ivg@ieee.org>,
              Oleg Kamenkov <forown@yandex.ru>
License:      MIT
Copyrights:   (C) 2016 Carnegie Mellon University
Plugins:      META (0.4), DevFiles (0.4)
BuildTools:   ocamlbuild
BuildDepends: ppx_jane, core_kernel, bap
AlphaFeatures: ocamlbuild_more_args
XOCamlbuildExtraArgs: -j 8


Library powerpc_lifter
  Path:           lib
  FindLibName:    powerpc_lifter
  Modules:        Powerpc,
                  Powerpc_add,
                  Powerpc_branch,
                  Powerpc_compare,
                  Powerpc_cpu,
                  Powerpc_cr,
                  Powerpc_dsl,
                  Powerpc_div,
                  Powerpc_load,
                  Powerpc_logical,
                  Powerpc_model,
                  Powerpc_move,
                  Powerpc_mul,
                  Powerpc_rtl,
                  Powerpc_rotate,
                  Powerpc_types,
                  Powerpc_shift,
                  Powerpc_store,
                  Powerpc_sub,
                  Powerpc_utils
  CompiledObject: best
  Install:        true

Library powerpc_tests
  Path:           tests
  FindLibName:    powerpc_tests
  Build$:         flag(tests)
  Install:        false
  CompiledObject: best
  Modules:        Powerpc_add_tests,
                  Powerpc_arith_tests,
                  Powerpc_branch_tests,
                  Powerpc_compare_tests,
                  Powerpc_cr_tests,
                  Powerpc_dsl_tests,
                  Powerpc_load_tests,
                  Powerpc_logical_tests,
                  Powerpc_move_tests,
                  Powerpc_rotate_tests,
                  Powerpc_shift_tests,
                  Powerpc_store_tests,
                  Powerpc_tests_helpers
  BuildDepends:   oUnit, powerpc_lifter

Executable "ppc-run"
  Path:           src
  MainIs:         powerpc_run.ml
  CompiledObject: best
  Install:        true
  BuildDepends:   bap.plugins, findlib.dynload, powerpc_lifter, cmdliner

Executable run_test
  Path:           tests
  MainIs:         run_test.ml
  Install:        false
  Build$:         flag(tests)
  CompiledObject: best
  BuildDepends:   bap.plugins, powerpc_tests, oUnit, findlib.dynload

Test ppc_test
  TestTools:      run_test
  Run$:           flag(tests)
  Command:        $run_test -runner sequential