mirror of
https://github.com/microsoft/vcpkg.git
synced 2024-11-29 01:03:19 +08:00
45fadafed0
* 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 |
||
---|---|---|
.. | ||
CONTROL | ||
fix_cmake_long_dir.patch | ||
LICENSE | ||
portfile.cmake |