Staging
v0.8.1
v0.8.1
dune
(include_subdirs unqualified)
(executable
(public_name binsec)
(package binsec)
(name main)
(modules main)
(flags
(:standard -open Binsec))
(libraries
binsec
(select
amd64.manifest
from
(amd64decoder -> amd64.some.manifest)
(-> amd64.none.manifest))
(select
armv7.manifest
from
(armv7decoder -> armv7.some.manifest)
(-> armv7.none.manifest))
(select
armv8.manifest
from
(armv8decoder -> armv8.some.manifest)
(-> armv8.none.manifest))))
(library
(public_name binsec)
(modules
(:standard \ main t_main t_formula t_sequence))
(modules_without_implementation
loader_sigs
loader_types
sigs
smtlib
x86Types)
(library_flags
(:standard -linkall))
(flags
(:standard -w -3))
(libraries str bigarray ocamlgraph zarith dune-site)
(foreign_stubs
(language c)
(names :standard)))
(generate_sites_module
(module runtime)
(sites binsec))
(tests
(names t_formula t_sequence)
(modules t_formula t_sequence)
(libraries binsec ounit2 qcheck)
(flags
(:standard -open Binsec))
; bytecode tests fail to link in nix-shell
(modes native)
(action
(run %{test})))