3party/vcpkg
0
0
Fork 0
mirror of https://github.com/microsoft/vcpkg.git synced 2024-12-30 20:59:12 +08:00
Code Issues Projects Releases Wiki Activity
8,551 Commits 2 Branches 60 Tags 762 MiB
Commit Graph

4 Commits

Author SHA1 Message Date
Nuno Lopes
52168a8503 [z3] bump version to 4.8.5 (#6803) 2019-06-06 18:53:20 -07:00
JackBoosY
976744ba21 [z3]Replace the file command with vcpkg_fixup_cmake_targets. 2019-05-23 02:45:01 +00:00
JackBoosY
7bd2e96ada [z3]Fix install files path and add tools. 2019-05-21 04:31:57 +00:00
Nuno Lopes
45fadafed0 add Z3 package (#5564) 
* add Z3 package

* z3: don't assume python is installed

* [z3] attempt to fix build failure due to path truncation
patch already upstreamed

* [z3] add support for static build

* [z3] Fail preemptively on UWP
 2019-03-08 19:00:48 -08:00