Commit Graph

3 Commits

Author SHA1 Message Date
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