search

illera88 / Ponce

IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
https://docs.idaponce.com
Other
1.48k stars 72 forks source link

Use vcpkg to build z3 on linux github action #114

Closed illera88 closed 4 years ago

illera88 commented 4 years ago

Z3 just released a new version with my PR to fix a build problem in linux (https://github.com/Z3Prover/z3/pull/4043).

We should make a PR to vcpkg to update z3 and eventually Github action machine will update vcpkg with the new version so we can stop building ourselves z3 and use vcpkg as in windows and OSX

illera88 commented 4 years ago

https://github.com/microsoft/vcpkg/pull/11314

illera88 commented 4 years ago

Merged in master https://github.com/microsoft/vcpkg/pull/11314

it will take a while for github actions to update the vcpkg version they use to the one where z3 is updated. We can either just wait or force an update when in the CI