vcpkg/ports/z3/portfile.cmake

vcpkg_fail_port_install(ON_TARGET "UWP" ON_ARCH "arm64")

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
  REF 79734f26aee55309077de1f26e9b6f50ecd99ceb # z3-4.8.9
  SHA512 b7899f9590d4b0b0cd6eb841ede60045579878759a4bb3b3caacf0cbb491cafee46ad492dce4c1b87bd8318ac0a763daa5fe596a6a0f5a1f41559b61ef25c82c
  HEAD_REF master
  PATCHES
         fix-install-path.patch
)

if (VCPKG_LIBRARY_LINKAGE STREQUAL "static")
  set(BUILD_STATIC "-DZ3_BUILD_LIBZ3_SHARED=OFF")
endif()

vcpkg_configure_cmake(
  SOURCE_PATH ${SOURCE_PATH}
  PREFER_NINJA
  OPTIONS
    ${BUILD_STATIC}
)

vcpkg_install_cmake()
vcpkg_fixup_cmake_targets(CONFIG_PATH lib/cmake/z3 TARGET_PATH share/Z3)
vcpkg_copy_pdbs()

file(REMOVE_RECURSE ${CURRENT_PACKAGES_DIR}/debug/include)

file(INSTALL ${SOURCE_PATH}/LICENSE.txt DESTINATION ${CURRENT_PACKAGES_DIR}/share/${PORT} RENAME copyright)
[z3] Update to 4.8.6 (#8899) * [z3]Upgrade to 4.8.6. * [z3]Use `vcpkg_fail_port_install`. 2019-11-23 06:55:05 +08:00			`vcpkg_fail_port_install(ON_TARGET "UWP" ON_ARCH "arm64")`
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-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`
[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-14 04:17:32 +08:00			`REF 79734f26aee55309077de1f26e9b6f50ecd99ceb # z3-4.8.9`
			`SHA512 b7899f9590d4b0b0cd6eb841ede60045579878759a4bb3b3caacf0cbb491cafee46ad492dce4c1b87bd8318ac0a763daa5fe596a6a0f5a1f41559b61ef25c82c`
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-09 11:00:48 +08:00			`HEAD_REF master`
[z3]Fix install files path and add tools. 2019-05-21 12:31:25 +08:00			`PATCHES`
			`fix-install-path.patch`
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-09 11:00:48 +08:00			`)`

			`if (VCPKG_LIBRARY_LINKAGE STREQUAL "static")`
[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-13 07:07:16 +08:00			`set(BUILD_STATIC "-DZ3_BUILD_LIBZ3_SHARED=OFF")`
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-09 11:00:48 +08:00			`endif()`

			`vcpkg_configure_cmake(`
			`SOURCE_PATH ${SOURCE_PATH}`
			`PREFER_NINJA`
			`OPTIONS`
			`${BUILD_STATIC}`
			`)`

[z3]Fix install files path and add tools. 2019-05-21 12:31:25 +08:00			`vcpkg_install_cmake()`
[z3] Update to 4.8.6 (#8899) * [z3]Upgrade to 4.8.6. * [z3]Use `vcpkg_fail_port_install`. 2019-11-23 06:55:05 +08:00			`vcpkg_fixup_cmake_targets(CONFIG_PATH lib/cmake/z3 TARGET_PATH share/Z3)`
[z3]Fix install files path and add tools. 2019-05-21 12:31:25 +08:00			`vcpkg_copy_pdbs()`
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-09 11:00:48 +08:00
[z3]Fix install files path and add tools. 2019-05-21 12:31:25 +08:00			`file(REMOVE_RECURSE ${CURRENT_PACKAGES_DIR}/debug/include)`
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-09 11:00:48 +08:00
[z3] Update to 4.8.6 (#8899) * [z3]Upgrade to 4.8.6. * [z3]Use `vcpkg_fail_port_install`. 2019-11-23 06:55:05 +08:00			`file(INSTALL ${SOURCE_PATH}/LICENSE.txt DESTINATION ${CURRENT_PACKAGES_DIR}/share/${PORT} RENAME copyright)`