diff options
| author | Ethan Morgan <ethan@gweithio.com> | 2026-02-14 16:44:06 +0000 |
|---|---|---|
| committer | Ethan Morgan <ethan@gweithio.com> | 2026-02-14 16:44:06 +0000 |
| commit | 54409423f767d8b1cf30cb7d0efca6b4ca138823 (patch) | |
| tree | d915ac7828703ce4b963efdd9728a1777ba18c1e /vcpkg/ports/z3/portfile.cmake | |
Diffstat (limited to 'vcpkg/ports/z3/portfile.cmake')
| -rw-r--r-- | vcpkg/ports/z3/portfile.cmake | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/vcpkg/ports/z3/portfile.cmake b/vcpkg/ports/z3/portfile.cmake new file mode 100644 index 0000000..648833b --- /dev/null +++ b/vcpkg/ports/z3/portfile.cmake @@ -0,0 +1,36 @@ +vcpkg_find_acquire_program(PYTHON3) +get_filename_component(PYTHON3_DIR "${PYTHON3}" DIRECTORY) +vcpkg_add_to_path("${PYTHON3_DIR}") + +vcpkg_from_github( + OUT_SOURCE_PATH SOURCE_PATH + REPO Z3Prover/z3 + REF z3-${VERSION} + SHA512 3037a6c9077cf5b5bbc9db89973311e66233144ad6c8fc8da9fb2aa35bb34944068874868cf571b247130251a8361cbd1e24288768cc49e4166985cf0ca921a2 + HEAD_REF master + PATCHES + fix-install-path.patch + remove-flag-overrides.patch +) + +if (VCPKG_LIBRARY_LINKAGE STREQUAL "static") + set(BUILD_STATIC "-DZ3_BUILD_LIBZ3_SHARED=OFF") +endif() + +vcpkg_cmake_configure( + SOURCE_PATH ${SOURCE_PATH} + OPTIONS + ${BUILD_STATIC} + -DZ3_BUILD_TEST_EXECUTABLES=OFF + -DZ3_ENABLE_EXAMPLE_TARGETS=OFF +) + +vcpkg_cmake_install() +vcpkg_cmake_config_fixup(CONFIG_PATH lib/cmake/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) + +vcpkg_fixup_pkgconfig() |