vcpkg/ports/z3/fix-install-path.patch, branch 2020.06 Forked from https://github.com/microsoft/vcpkg [z3] update port to 4.8.8 (#11314) 2020-05-12T23:07:16+00:00 Alberto Garcia Illera agarciaillera@gmail.com 2020-05-12T23:07:16+00:00 10ba60d61f7fccd8df2036c7fb3071f64829145e * [z3] update port to 4.8.8 * update port file with new cmake var name, Z3_BUILD_LIBZ3_SHARED 
* [z3] update port to 4.8.8

* update port file with new cmake var name, Z3_BUILD_LIBZ3_SHARED
 [z3] Update to 4.8.6 (#8899) 2019-11-22T22:55:05+00:00 JackBoosY 47264268+JackBoosY@users.noreply.github.com 2019-11-22T22:55:05+00:00 776fcf76db997393381f0e0cc780491edc06aa34 * [z3]Upgrade to 4.8.6. * [z3]Use `vcpkg_fail_port_install`. 
* [z3]Upgrade to 4.8.6.

* [z3]Use `vcpkg_fail_port_install`.
[z3] bump version to 4.8.5 (#6803) 2019-06-07T01:53:20+00:00 Nuno Lopes nlopes@microsoft.com 2019-06-07T01:53:20+00:00 52168a85033bc6ae43cf66132c6cded73d3ac804 






[z3]Fix install files path and add tools.
2019-05-21T04:31:57+00:00

JackBoosY
yuzaiyang@beyondsoft.com

2019-05-21T04:31:25+00:00

7bd2e96ada69a407921eb900259190f363a6fcc2