diff options
| author | Robert Schumacher <roschuma@microsoft.com> | 2020-10-13 13:17:32 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-13 13:17:32 -0700 |
| commit | 75bd2efe0dce862dfa025209b8cecc61a00a1852 (patch) | |
| tree | 8f490bc7e3c4fffe5a1b3f641a6373a6ea341cc8 /ports/z3 | |
| parent | e14917f04b2a79b22087cab67ab80c0e3d47c8ba (diff) | |
| download | vcpkg-75bd2efe0dce862dfa025209b8cecc61a00a1852.tar.gz vcpkg-75bd2efe0dce862dfa025209b8cecc61a00a1852.zip | |
[many ports] 2019.09.14 Updates (#13536)
* [many ports] 2019.09.14 Updates
* Revert failure ports
* Revert failure ports
* Revert failure ports
* [urdfdom] Fix find dependency console_bridge
* Revert failure ports
* [devil] Compatible with jasper 2.0.20
* [devil] Refix compatible with jasper functions declaration on different os
* Update ports/alembic/CONTROL
Co-authored-by: Phoebe <20694052+PhoebeHui@users.noreply.github.com>
* Revert failure ports wangle
* [azure-kinect-sensor-sdk] Fix build with matroska 1.6.2
* Revert failure ports
* Revert failure ports
* [urdfdom-headers] Fix include path in config.cmake file
* upload patch
* [urdfdom-headers] Refix include path in config.cmake file
* [qt5-imageformats] Fix missing include math.h
* [urdfdom-headers] Refix include path in config.cmake file
* [qt5] Fix adding option PATCHES and other options when using qt_submodule_installation
* Remove updated ports version
* Commit suggestions
* [libideviceactivation] revert
Co-authored-by: JackBoosY <yuzaiyang@beyondsoft.com>
Co-authored-by: Jack·Boos·Yu <47264268+JackBoosY@users.noreply.github.com>
Co-authored-by: Phoebe <20694052+PhoebeHui@users.noreply.github.com>
Co-authored-by: Billy Robert O'Neal III <bion@microsoft.com>
Diffstat (limited to 'ports/z3')
| -rw-r--r-- | ports/z3/CONTROL | 2 | ||||
| -rw-r--r-- | ports/z3/portfile.cmake | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/ports/z3/CONTROL b/ports/z3/CONTROL index 5f314a63d..f261a7f55 100644 --- a/ports/z3/CONTROL +++ b/ports/z3/CONTROL @@ -1,5 +1,5 @@ Source: z3 -Version: 4.8.8 +Version: 4.8.9 Homepage: https://github.com/Z3Prover/z3 Description: Z3 is a theorem prover from Microsoft Research. Supports: !arm64 && !uwp diff --git a/ports/z3/portfile.cmake b/ports/z3/portfile.cmake index a7b029724..bc3cc9d5f 100644 --- a/ports/z3/portfile.cmake +++ b/ports/z3/portfile.cmake @@ -7,8 +7,8 @@ vcpkg_add_to_path("${PYTHON2_DIR}") vcpkg_from_github( OUT_SOURCE_PATH SOURCE_PATH REPO Z3Prover/z3 - REF ad55a1f1c617a7f0c3dd735c0780fc758424c7f1 # z3-4.8.8 - SHA512 e9ee645e0a70e1884c3c7745c3c95445d009557f2f06d018a0368274758dedfd94960093b9ee9332212eb29d05aca76137e8ac61365ae0deb5c12fefbe2feee1 + REF 79734f26aee55309077de1f26e9b6f50ecd99ceb # z3-4.8.9 + SHA512 b7899f9590d4b0b0cd6eb841ede60045579878759a4bb3b3caacf0cbb491cafee46ad492dce4c1b87bd8318ac0a763daa5fe596a6a0f5a1f41559b61ef25c82c HEAD_REF master PATCHES fix-install-path.patch |