mirror of
https://github.com/microsoft/vcpkg.git
synced 2024-12-16 04:19:01 +08:00
e7e328cf9d
* [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>
9 lines
200 B
JSON
9 lines
200 B
JSON
{
|
|
"name": "z3",
|
|
"version": "4.8.12",
|
|
"port-version": 1,
|
|
"description": "Z3 is a theorem prover from Microsoft Research",
|
|
"homepage": "https://github.com/Z3Prover/z3",
|
|
"supports": "!uwp"
|
|
}
|