From 5fd38d270ee8118d772314cede86cd168c1dd3fd Mon Sep 17 00:00:00 2001
From: xenia <xenia@awoo.systems>
Date: Sat, 13 Sep 2025 23:28:58 -0400
Subject: [PATCH] ghidra-extensions.kaiju: fix z3 java output

---
 pkgs/reverse-engineering/ghidra/extensions/kaiju/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/reverse-engineering/ghidra/extensions/kaiju/default.nix b/pkgs/reverse-engineering/ghidra/extensions/kaiju/default.nix
index 4987ec3..b2eb22f 100644
--- a/pkgs/reverse-engineering/ghidra/extensions/kaiju/default.nix
+++ b/pkgs/reverse-engineering/ghidra/extensions/kaiju/default.nix
@@ -43,9 +43,9 @@ let
     # https://github.com/CERTCC/kaiju/blob/c9dbb55484b3d2a6abd9dfca2197cd00fb7ee3c1/build.gradle#L189
     preBuild = ''
       mkdir -p build/cmake/z3/java-bindings
-      ln -s ${lib.getOutput "lib" z3_lib}/lib/com.microsoft.z3.jar build/cmake/z3/java-bindings
+      ln -s ${lib.getOutput "java" z3_lib}/share/java/com.microsoft.z3.jar build/cmake/z3/java-bindings
       mkdir -p os/${ghidraPlatformName}
-      cp ${lib.getOutput "lib" z3_lib}/lib/* os/${ghidraPlatformName}
+      cp ${lib.getOutput "java" z3_lib}/lib/* os/${ghidraPlatformName}
     '';
 
     gradleFlags = [ "-PKAIJU_SKIP_Z3_BUILD=true" ];