Elias Bachaalany
Elias Bachaalany
I gave you a shoutout here: https://www.youtube.com/watch?v=mN9LopGgkjk @ ~7:20 minutes mark
Seconded. Or update https://github.com/HexRaysSA/goomba/blob/main/z3/readme.txt which says 4.11.2 (conflicting with the makefile).
In that case, the Makefile should then not hardcode the version numbers. Basically, we unzip the contents of 'bin' and 'include' to /z3/[include|bin] (without having \z3\z3-version\...). We update the README.txt...
I thought it was hardcoded because they mentioned the specific versions in the readme.txt leading me to think that they require a specific version (for some reason). I tried with...
latest commit, looks good. Thanks.
> it is open source project. feel free to audit it and build it yourself.
Please try the ida-cmake PR I made. It would be a good test case as well. From before, I know ida-cmake works for all platforms include Apple Silicon, so goomba...
Great, thanks for confirming. Yes, my PR will be merged either tomorrow or next week. I see no reason why not.
I want to keep it simple and self-contained. This mimics the way the Makefile that is with this project. The current plugin assumes the compiled z3 are downloaded before hand.
Correct, I should have used ${CMAKE_SHARED_LIBRARY_SUFFIX} for non-Windows. Let me test on Linux and review my PR. Thanks.