mirror/vcpkg
1
0
Fork 0
mirror of https://github.com/microsoft/vcpkg.git synced 2024-12-24 04:37:49 +08:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
8a583e80da
vcpkg/ports/z3
History
Alberto Garcia Illera 10ba60d61f
[z3] update port to 4.8.8 (#11314) 
* [z3] update port to 4.8.8

* update port file with new cmake var name, Z3_BUILD_LIBZ3_SHARED
2020-05-12 16:07:16 -07:00
..
CONTROL [z3] update port to 4.8.8 (#11314) 2020-05-12 16:07:16 -07:00
fix-install-path.patch [z3] update port to 4.8.8 (#11314) 2020-05-12 16:07:16 -07:00
LICENSE
portfile.cmake [z3] update port to 4.8.8 (#11314) 2020-05-12 16:07:16 -07:00