The-Homebrew-Cloud/cemu-vcpkg
2
0
Fork 0
mirror of https://github.com/cemu-project/vcpkg.git synced 2025-02-23 19:17:10 +01:00
Code Issues Packages Projects Releases Wiki Activity
cemu-vcpkg/ports/z3
History
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
..
CONTROL
add Z3 package (#5564)
2019-03-08 19:00:48 -08:00
fix_cmake_long_dir.patch
add Z3 package (#5564)
2019-03-08 19:00:48 -08:00
LICENSE
add Z3 package (#5564)
2019-03-08 19:00:48 -08:00
portfile.cmake
add Z3 package (#5564)
2019-03-08 19:00:48 -08:00