haskal
/
dragnpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix kaiju

This commit is contained in:
xenia 2025-09-14 01:35:15 -04:00
parent 5fd38d270e
commit 13548ea5ed
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
pkgs/reverse-engineering/ghidra/extensions/kaiju/default.nix
View File

@ -48,6 +48,15 @@ let
cp ${lib.getOutput "java" z3_lib}/lib/* os/${ghidraPlatformName} 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" ]; gradleFlags = [ "-PKAIJU_SKIP_Z3_BUILD=true" ];
mitmCache = gradle.fetchDeps { mitmCache = gradle.fetchDeps {