diff --git a/pkgs/reverse-engineering/ghidra/extensions/kaiju/default.nix b/pkgs/reverse-engineering/ghidra/extensions/kaiju/default.nix index c01f642..cc3e1f8 100644 --- a/pkgs/reverse-engineering/ghidra/extensions/kaiju/default.nix +++ b/pkgs/reverse-engineering/ghidra/extensions/kaiju/default.nix @@ -48,6 +48,15 @@ let cp ${lib.getOutput "java" z3_lib}/lib/* os/${ghidraPlatformName} ''; + postInstall = '' + kaiju_path=$out/lib/ghidra/Ghidra/Extensions/kaiju + rm $kaiju_path/os/linux_x86_64/*.so + rm $kaiju_path/lib/com.microsoft.z3.jar + ln -s ${lib.getOutput "java" z3_lib}/share/java/com.microsoft.z3.jar $kaiju_path/lib + ln -s ${lib.getOutput "java" z3_lib}/lib/libz3java.so $kaiju_path/os/linux_x86_64 + ln -s ${lib.getOutput "lib" z3_lib}/lib/libz3.so $kaiju_path/os/linux_x86_64 + ''; + gradleFlags = [ "-PKAIJU_SKIP_Z3_BUILD=true" ]; mitmCache = gradle.fetchDeps {