From 68454bc5eefa7f28d8146654c048de5053193767 Mon Sep 17 00:00:00 2001
From: Stefan Weigl-Bosker <stefan@s00.xyz>
Date: Wed, 4 Jun 2025 19:24:32 -0400
Subject: packages/binaryninja: add deps for SENinja

---
 packages/binaryninja.nix | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'packages/binaryninja.nix')

diff --git a/packages/binaryninja.nix b/packages/binaryninja.nix
index 114e0f0..aaf2401 100644
--- a/packages/binaryninja.nix
+++ b/packages/binaryninja.nix
@@ -9,8 +9,7 @@ pkgs.buildFHSEnv {
     libGL
     libxml2
     libxkbcommon
-    python311
-    (python311.withPackages(ps: with ps; [ pypresence]))
+    (python312.withPackages(ps: with ps; [ pypresence z3-solver ]))
     xorg.libX11
     xorg.libxcb
     xorg.xcbutilimage
@@ -23,7 +22,7 @@ pkgs.buildFHSEnv {
   ];
   runScript = pkgs.writeScript "binaryninja.sh" ''
     set -e
-    exec "~/.opt/binaryninja/binaryninja"         # ! change this path if your installation is located somewhere else.
+    exec "~/.local/opt/binaryninja/binaryninja"         # ! change this path if your installation is located somewhere else.
   '';
   meta = {
     description = "binaryninja";
-- 
cgit v1.2.3