diff options
| author | Nuno Lopes <nuno.lopes@ist.utl.pt> | 2019-03-09 03:00:48 +0000 |
|---|---|---|
| committer | Victor Romero <romerosanchezv@gmail.com> | 2019-03-08 19:00:48 -0800 |
| commit | 45fadafed080b6b7704ce635fc1c4276d0109f0b (patch) | |
| tree | 87f46b44e3dce80c45235ebde6de2a7c264f15fc /ports/activemq-cpp | |
| parent | 88f6875e0faecb7a5a16f62760edd68ff563ac92 (diff) | |
| download | vcpkg-45fadafed080b6b7704ce635fc1c4276d0109f0b.tar.gz vcpkg-45fadafed080b6b7704ce635fc1c4276d0109f0b.zip | |
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
Diffstat (limited to 'ports/activemq-cpp')
0 files changed, 0 insertions, 0 deletions