mirror of
https://github.com/microsoft/vcpkg.git
synced 2024-12-30 16:37:52 +08:00
64 lines
1.8 KiB
CMake
64 lines
1.8 KiB
CMake
|
if (VCPKG_TARGET_ARCHITECTURE STREQUAL "arm64")
|
||
|
|
message(FATAL_ERROR "Z3 doesn't currently support ARM64")
|
||
|
|
endif()
|
||
|
|
|
||
|
|
if (VCPKG_CMAKE_SYSTEM_NAME STREQUAL "WindowsStore")
|
||
|
|
message(FATAL_ERROR "Z3 doesn't currently support UWP")
|
||
|
|
endif()
|
||
|
|
|
||
|
|
include(vcpkg_common_functions)
|
||
|
|
|
||
|
|
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 z3-4.8.4
|
||
|
|
SHA512 4660ba6ab33a6345b2e8396c332d4afcfc73eda66ceb2595a39f152df4d62a9ea0f349b0f9212389ba84ecba6bdae6ad9b62b376ba44dc4d9c74f80d7a818bf4
|
||
|
|
HEAD_REF master
|
||
|
|
PATCHES fix_cmake_long_dir.patch
|
||
|
|
)
|
||
|
|
|
||
|
|
if (VCPKG_LIBRARY_LINKAGE STREQUAL "static")
|
||
|
|
set(BUILD_STATIC "-DBUILD_LIBZ3_SHARED=OFF")
|
||
|
|
endif()
|
||
|
|
|
||
|
|
vcpkg_configure_cmake(
|
||
|
|
SOURCE_PATH ${SOURCE_PATH}
|
||
|
|
PREFER_NINJA
|
||
|
|
OPTIONS
|
||
|
|
${BUILD_STATIC}
|
||
|
|
)
|
||
|
|
|
||
|
|
vcpkg_build_cmake()
|
||
|
|
|
||
|
|
|
||
|
|
function(install_z3 SHORT_BUILDTYPE DEBUG_DIR)
|
||
|
|
set(LIBS ".so" ".lib" ".dylib" ".a")
|
||
|
|
set(DLLS ".dll" ".pdb")
|
||
|
|
file(GLOB FILES ${CURRENT_BUILDTREES_DIR}/${TARGET_TRIPLET}-${SHORT_BUILDTYPE}/libz3.*)
|
||
|
|
|
||
|
|
foreach (FILE in ${FILES})
|
||
|
|
get_filename_component(FILEXT ${FILE} EXT)
|
||
|
|
if ("${FILEXT}" IN_LIST LIBS)
|
||
|
|
file(INSTALL ${FILE} DESTINATION ${CURRENT_PACKAGES_DIR}${DEBUG_DIR}/lib)
|
||
|
|
elseif ("${FILEXT}" IN_LIST DLLS)
|
||
|
|
file(INSTALL ${FILE} DESTINATION ${CURRENT_PACKAGES_DIR}${DEBUG_DIR}/bin)
|
||
|
|
endif()
|
||
|
|
endforeach()
|
||
|
|
endfunction()
|
||
|
|
|
||
|
|
if (NOT DEFINED VCPKG_BUILD_TYPE OR VCPKG_BUILD_TYPE STREQUAL "release")
|
||
|
|
install_z3("dbg" "/debug")
|
||
|
|
endif()
|
||
|
|
if (NOT DEFINED VCPKG_BUILD_TYPE OR VCPKG_BUILD_TYPE STREQUAL "debug")
|
||
|
|
install_z3("rel" "")
|
||
|
|
endif()
|
||
|
|
|
||
|
|
file(GLOB HEADERS ${SOURCE_PATH}/src/api/z3*.h)
|
||
|
|
file(INSTALL ${HEADERS} DESTINATION ${CURRENT_PACKAGES_DIR}/include)
|
||
|
|
|
||
|
|
file(INSTALL ${SOURCE_PATH}/LICENSE.txt DESTINATION ${CURRENT_PACKAGES_DIR}/share/z3 RENAME copyright)
|