Commit Graph

19 Commits

Author SHA1 Message Date
Timothy Werquin
8602701c9d
[z3] Update to 4.12.2 (#32281)
Updates the z3 port to 4.12.2 to fix building on macOS.
2023-06-29 14:35:12 -07:00
Eric Kilmer
423df8c72d
[z3] Update to 4.11.0 (#26429)
* [z3] Update to 4.11.0

* Update version db
2022-08-22 09:14:35 -07:00
Eric Kilmer
cf5979b735
[z3] Update to v4.10.2 (#25954)
* [z3] Update to v4.10.2

* Update version
2022-08-01 09:56:24 -07:00
Eric Kilmer
f3aaee3cda
[z3] Update to v4.9.1 (#25911)
* [z3] Update to v4.9.1

* Update version
2022-07-22 10:58:36 -07:00
Eric Kilmer
07b9eeecd2
[z3] Update to 4.8.16 (#24407)
* [z3] Update to 4.8.16

* Use Python3 instead of Python2

Python2 is EOL and the build script works with Python3, so we should
prefer Python3

* Update version
2022-04-26 19:24:59 -07:00
Eric Kilmer
37ebb4419b
[z3] Update to 4.8.15 (#24209)
* [z3] Update to 4.8.15

* Update version

* Don't build test executables

* Update version

* Disable examples

* Update version

* Fix 32 bit builds with upstream patch

3828130791

* Update version
2022-04-19 09:29:01 -07:00
Hennadii Chernyshchyk
c4afc3f492
[z3] Update to 4.8.14 (#22687)
* [z3] Update to 4.8.14

* [z3] Add license

* [z3] Update versions
2022-01-26 15:31:17 -08:00
Billy O'Neal
c9e786d81a
[many ports] remove remaining vcpkg_fail_port_install calls. (#22770)
* Bulk remove vcpkg_fail_port_install calls.

Interesting ones have been split out into separate reviews, where "interesting" means "anything more than just deleting the call to vcpkg_fail_port_install",

In support of https://github.com/microsoft/vcpkg/pull/21502

* Update version database.

* Revert google benchmark changes already submitted as https://github.com/microsoft/vcpkg/pull/22728

* Repair version database.
2022-01-25 10:31:15 -08:00
autoantwort
e7e328cf9d
[many ports] call vcpkg_fixup_pkgconfig() (#20953)
* [many ports] call vcpkg_fixup_pkgconfig()

The ports generate pc files, but don't call vcpkg_fixup_pkgconfig() so that there are absolute paths in the pc files

* Update port-version for armadillo and polyclipping.

* Update version database.

Co-authored-by: Billy Robert O'Neal III <bion@microsoft.com>
2021-10-27 15:19:28 -07:00
chausner
261103472f
[z3] Update to 4.8.12 (#20348)
* Update z3 to 4.8.12

* Update CI baseline

* Change version-semver to version

* Update git-tree hash

* Update z3.json

Co-authored-by: chausner <chausner@users.noreply.github.com>
2021-09-27 20:51:56 -07:00
Jack·Boos·Yu
e4e4ee9c9f
[z3] Update to 4.8.10 to support arm triplet (#18104)
* [z3] Update to 4.8.10 to support arm triplet

* update version record
2021-06-01 12:14:39 -07:00
Robert Schumacher
75bd2efe0d
[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>
2020-10-13 13:17:32 -07:00
Alberto Garcia Illera
10ba60d61f
[z3] update port to 4.8.8 (#11314)
* [z3] update port to 4.8.8

* update port file with new cmake var name, Z3_BUILD_LIBZ3_SHARED
2020-05-12 16:07:16 -07:00
JackBoosY
776fcf76db [z3] Update to 4.8.6 (#8899)
* [z3]Upgrade to 4.8.6.

* [z3]Use `vcpkg_fail_port_install`.
2019-11-22 14:55:05 -08:00
Stefano Sinigardi
47d206e149 [many ports] improvements for linux/wsl (#6730)
* [many ports] improve compatibility with WSL and mixed case filesystems

* [treehopper] express dependency on libusb, which was not working on non-win32 platforms and is still broken there

* [libharu] add compatibility with non-win32 platforms

* [geogram] fix openblas on linux
[clapack] better integration with linux environment
[visit-struct] put cmake config file in the expected folder
[geogram] remove trailing underscore to enable compatibility with OpenBLAS

* [openblas] playing with underscore, without success

* [openblas/lapack] fix library integration

* [clapack] improve target handling in cmake module

* [openblas] promote self-generated config to default cmake module, otherwise internal ones thinks wrongly that openblas can also solve lapack libs

* [clapack,openblas] improve libraries integration

* [many ports] fix cmake unnecessary target paths, wrong config paths, empty default dependencies, unnecessary [core] tags

* [suitesparse] improve integration with new lapack/openblas mechanism

* [suitesparse] add no underscore postfix also for linux

* [ceres] fix integration with newer openblas/lapack configs

* [aws-c-event-stream] fix regression

* [systemc] fix regression

* [libwebp,geogram] trigger rebuild

* [libwebp,pthread4w] fix regressions

* [glbinding] fix cmake module installation

* [globjects] disentangle unnecessary dependency from qt5

* [jasper] remove broken and unnecessary patches

* [libwebp] fix regression

* [many ports] avoid using BUILD_SHARED_LIBS which is uninitialized in port files

* [clapack] correctly find dlls

* [clapack] use a generic blas as dependency

* [fizz,g2o] restore expected version

* fix mistake

* [many ports] remove WIN32, APPLE and UNIX (again, they keep creeping in) from ports since they are broken and usually break non-win32 ports

* [libressl,openssl] do not try to build one if the other is already installed

* [itk] update ref and patch to avoid regression

* [libressl,openssl] implement full strategy to fix CI

* [libwebp] disable components that are broken on macOS

* [ogre] enable macOS build

* [freeimage,jxrlib,ogre,openexr,protobuf] port patches from #5169

* [ogre] add missing install command

* [ffmpeg] enable wrapper for cmake module

* [ffmpeg] add avresample module finder

* [ffmpeg] improve module detection and exported symbols

* [ffmpeg] add variables to cache

* [thrift] remove unnecessary build option

* [allegro5] fix shared/static inversion

* [protobuf] cleanup

* [libressl] cleanup

* [moos-core] cleanup

* commented features must not be separated from other features, otherwise vcpkg complains

* [itk] fix regression

* [shogun,itk] fix regressions

* [ogre] fix regression

* [opusfile] add compatibility with non-win32

* [itk] fix regression

* [sndfile,libsndfile] remove duplicate, redirect sndfile to libsndfile

* add missing dependencies

* [ismrmrd] fix regression

* [ffmpeg] trigger rebuild

* [clapack,openblas,libogg] fix regressions on macOS

* [libtins] fix regression

* force rebuild windows regressions, unable to reproduce locally

* [mosquitto] enable non-win32 builds

* [json-dto] force rebuild, unable to reproduce regression locally

* [many ports] uniform naming and path length requests

* fix regression

* fix regression

* [ffmpeg] fixes for downstream projects

* clean up - thanks to reviewers

* trigger rebuild of regressions on macOS

* trigger rebuild of regressions on macOS - part2

* Add core back

* Use VCPKG_CONCURRENCY

* Add core back to suitesparse

* Add core back to curl

* Add core back to magnum

* Add core back to magnum

* Add core back to magnum

* Add core back to cgal
2019-06-20 19:11:54 -07:00
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