2022-04-27 10:24:59 +08:00
|
|
|
vcpkg_find_acquire_program(PYTHON3)
|
|
|
|
get_filename_component(PYTHON3_DIR "${PYTHON3}" DIRECTORY)
|
|
|
|
vcpkg_add_to_path("${PYTHON3_DIR}")
|
2019-03-09 11:00:48 +08:00
|
|
|
|
|
|
|
vcpkg_from_github(
|
|
|
|
OUT_SOURCE_PATH SOURCE_PATH
|
|
|
|
REPO Z3Prover/z3
|
2023-12-14 15:19:47 +08:00
|
|
|
REF z3-${VERSION}
|
2024-09-30 23:54:13 +08:00
|
|
|
SHA512 211a855ad2313aacbef67ccad9e02f4d8012ce015880383faefaae2e78785efbc167634f6c272d844dd04ba36c55a25192cae74bfd0c75a32588672ac8516e09
|
2019-03-09 11:00:48 +08:00
|
|
|
HEAD_REF master
|
2022-04-20 00:29:01 +08:00
|
|
|
PATCHES
|
|
|
|
fix-install-path.patch
|
|
|
|
remove-flag-overrides.patch
|
2019-03-09 11:00:48 +08:00
|
|
|
)
|
|
|
|
|
|
|
|
if (VCPKG_LIBRARY_LINKAGE STREQUAL "static")
|
2020-05-13 07:07:16 +08:00
|
|
|
set(BUILD_STATIC "-DZ3_BUILD_LIBZ3_SHARED=OFF")
|
2019-03-09 11:00:48 +08:00
|
|
|
endif()
|
|
|
|
|
2022-04-20 00:29:01 +08:00
|
|
|
vcpkg_cmake_configure(
|
2019-03-09 11:00:48 +08:00
|
|
|
SOURCE_PATH ${SOURCE_PATH}
|
|
|
|
OPTIONS
|
|
|
|
${BUILD_STATIC}
|
2022-04-20 00:29:01 +08:00
|
|
|
-DZ3_BUILD_TEST_EXECUTABLES=OFF
|
|
|
|
-DZ3_ENABLE_EXAMPLE_TARGETS=OFF
|
2019-03-09 11:00:48 +08:00
|
|
|
)
|
|
|
|
|
2022-04-20 00:29:01 +08:00
|
|
|
vcpkg_cmake_install()
|
|
|
|
vcpkg_cmake_config_fixup(CONFIG_PATH lib/cmake/z3)
|
2019-05-21 12:31:25 +08:00
|
|
|
vcpkg_copy_pdbs()
|
2019-03-09 11:00:48 +08:00
|
|
|
|
2021-06-02 03:14:39 +08:00
|
|
|
file(REMOVE_RECURSE "${CURRENT_PACKAGES_DIR}/debug/include")
|
2019-03-09 11:00:48 +08:00
|
|
|
|
2021-06-02 03:14:39 +08:00
|
|
|
file(INSTALL "${SOURCE_PATH}/LICENSE.txt" DESTINATION "${CURRENT_PACKAGES_DIR}/share/${PORT}" RENAME copyright)
|
2021-10-28 06:19:28 +08:00
|
|
|
|
|
|
|
vcpkg_fixup_pkgconfig()
|