4 Commits

Author	SHA1	Message	Date
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
JackBoosY	776fcf76db	[z3] Update to 4.8.6 (#8899) ... * [z3]Upgrade to 4.8.6. * [z3]Use `vcpkg_fail_port_install`.	2019-11-22 14:55:05 -08:00
Nuno Lopes	52168a8503	[z3] bump version to 4.8.5 (#6803)	2019-06-06 18:53:20 -07:00
JackBoosY	7bd2e96ada	[z3]Fix install files path and add tools.	2019-05-21 04:31:57 +00:00