~ruther/guix-local

e10da6bff87a56dfcba80b9fef1d0544c7ca3653 — Sören Tempel a year ago 67f5f23 
gnu: binsec: Enable support for z3-builtin solver.

This is much faster than an external solver as it doesn't rely on
forking an external solver and instead uses the API provided by
ocaml-z3.  This feature was added in binsec release 0.9.1.

* gnu/packages/ocaml.scm (binsec)[propagated-inputs]: Add ocaml-z3.
* gnu/packages/ocaml.scm (binsec)[native-inputs]: Add z3.

Change-Id: I246fd1a13e8c9d6a6764608281a2bea5ac0a054b
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
patch browse .tar.gz .zip 
1 files changed, 3 insertions(+), 2 deletions(-)

M gnu/packages/ocaml.scm

M gnu/packages/ocaml.scm => gnu/packages/ocaml.scm +3 -2
@@ 1470,14 1470,15 @@ Knuth’s LR(1) parser construction technique.")
                      (wrap-program (string-append #$output "/bin/" "binsec")
                                    `("OCAMLPATH" ":" prefix ,ocamlpath))))))))
    (inputs (list bash-minimal))
    (native-inputs (list gmp ocaml-qcheck ocaml-ounit2))
    (native-inputs (list gmp ocaml-qcheck ocaml-ounit2 z3))
    (propagated-inputs (list dune-site
                             ocaml-base
                             ocaml-menhir
                             ocaml-graph
                             ocaml-zarith
                             ocaml-grain-dypgen
                             ocaml-toml))
                             ocaml-toml
                             ocaml-z3))
    (synopsis "Binary-level analysis platform")
    (description
     "BINSEC is a binary analysis platform which implements analysis