_oasis

OASISFormat:  0.4
Name:         sparc-model
Version:      0.2
Synopsis:     Sparc 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 sparc_lifter
  Path:           lib
  FindLibName:    sparc-lifter
  Modules:        Sparc_dsl,
                  Sparc_model,
                  Sparc_rtl,
                  Sparc_utils,
                  Sparc_cpu,
                  Sparc,
                  Sparc_branch,
                  Sparc_store,
                  Sparc_load,
                  Sparc_add,
                  Sparc_sub,
                  Sparc_misc,
                  Sparc_logic,
                  Sparc_compare
  CompiledObject: best
  Install:        true

Library sparc_plugin
  Path:            plugin
  FindLibName:     bap-sparc-plugin
  BuildDepends:    bap, bap-abi, bap-c, bap-primus, zarith, sparc-lifter
  InternalModules: Sparc

Executable "sparc-mc"
  Path:           src
  MainIs:         sparc_mc.ml
  CompiledObject: best
  Install:        true
  BuildDepends:   bap.plugins, findlib.dynload, sparc-lifter, cmdliner

Executable "sparc-test"
  Path:           src
  MainIs:         sparc_test.ml
  CompiledObject: best
  Install:        true
  BuildDepends:   bap.plugins, findlib.dynload, sparc-lifter, cmdliner