From e10da6bff87a56dfcba80b9fef1d0544c7ca3653 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B6ren=20Tempel?= Date: Tue, 23 Sep 2025 21:41:11 +0200 Subject: [PATCH] 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 --- gnu/packages/ocaml.scm | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index a8410be78b7..8e9fe03a41e 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -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