2021-06-02 03:14:39 +08:00
|
|
|
vcpkg_fail_port_install(ON_TARGET "UWP")
|
2019-03-09 11:00:48 +08:00
|
|
|
|
|
|
|
|
vcpkg_find_acquire_program(PYTHON2)
|
|
|
|
|
get_filename_component(PYTHON2_DIR "${PYTHON2}" DIRECTORY)
|
|
|
|
|
vcpkg_add_to_path("${PYTHON2_DIR}")
|
|
|
|
|
|
|
|
|
|
vcpkg_from_github(
|
|
|
|
|
OUT_SOURCE_PATH SOURCE_PATH
|
|
|
|
|
REPO Z3Prover/z3
|
2021-06-02 03:14:39 +08:00
|
|
|
REF 517d907567f4283ad8b48ff9c2a3f6dce838569e # z3-4.8.10
|
|
|
|
|
SHA512 5102f8c5fb988e93c586fa288267e4803d31a9cd0e2dbc7ce836a33b297cdbc9f3428933d0304ef4cef86812c7b9a6d000094cc13b3ed23ab0712dcc3d4677a8
|
2019-03-09 11:00:48 +08:00
|
|
|
HEAD_REF master
|
2021-06-02 03:14:39 +08:00
|
|
|
PATCHES fix-install-path.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()
|
|
|
|
|
|
|
|
|
|
vcpkg_configure_cmake(
|
|
|
|
|
SOURCE_PATH ${SOURCE_PATH}
|
|
|
|
|
PREFER_NINJA
|
|
|
|
|
OPTIONS
|
|
|
|
|
${BUILD_STATIC}
|
|
|
|
|
)
|
|
|
|
|
|
2019-05-21 12:31:25 +08:00
|
|
|
vcpkg_install_cmake()
|
2019-11-23 06:55:05 +08:00
|
|
|
vcpkg_fixup_cmake_targets(CONFIG_PATH lib/cmake/z3 TARGET_PATH share/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)
|
