mirror of
https://github.com/Z3Prover/z3
synced 2025-11-04 13:29:11 +00:00
45 lines
1.6 KiB
CMake
45 lines
1.6 KiB
CMake
################################################################################
|
|
# @AUTO_GEN_MSG@
|
|
#
|
|
# This file is intended to be consumed by clients who wish to use Z3 from CMake.
|
|
# It can be used by doing `find_package(Z3 config)` from within a
|
|
# `CMakeLists.txt` file. If CMake doesn't find this package automatically you
|
|
# can give it a hint by passing `-DZ3_DIR=<path>` to the CMake invocation where
|
|
# `<path>` is the path to the directory containing this file.
|
|
#
|
|
# This file was built for the @CONFIG_FILE_TYPE@.
|
|
################################################################################
|
|
|
|
|
|
# Handle dependencies (necessary when compiling the static library)
|
|
if(NOT @Z3_BUILD_LIBZ3_SHARED@)
|
|
include(CMakeFindDependencyMacro)
|
|
|
|
# Threads::Threads
|
|
set(THREADS_PREFER_PTHREAD_FLAG TRUE)
|
|
find_dependency(Threads)
|
|
|
|
# GMP::GMP
|
|
if(@Z3_USE_LIB_GMP@)
|
|
find_dependency(GMP)
|
|
endif()
|
|
endif()
|
|
|
|
# Exported targets
|
|
include("${CMAKE_CURRENT_LIST_DIR}/Z3Targets.cmake")
|
|
|
|
@PACKAGE_INIT@
|
|
|
|
# Version information
|
|
set(Z3_VERSION_MAJOR @Z3_VERSION_MAJOR@)
|
|
set(Z3_VERSION_MINOR @Z3_VERSION_MINOR@)
|
|
set(Z3_VERSION_PATCH @Z3_VERSION_PATCH@)
|
|
set(Z3_VERSION_TWEAK @Z3_VERSION_TWEAK@)
|
|
set(Z3_VERSION_STRING "${Z3_VERSION_MAJOR}.${Z3_VERSION_MINOR}.${Z3_VERSION_PATCH}.${Z3_VERSION_TWEAK}")
|
|
|
|
# NOTE: We can't use `set_and_check()` here because this a list of paths.
|
|
# List of include directories
|
|
set(Z3_C_INCLUDE_DIRS @PACKAGE_Z3_FIRST_PACKAGE_INCLUDE_DIR@ @PACKAGE_Z3_SECOND_PACKAGE_INCLUDE_DIR@)
|
|
set(Z3_CXX_INCLUDE_DIRS @PACKAGE_Z3_CXX_PACKAGE_INCLUDE_DIR@ ${Z3_C_INCLUDE_DIRS})
|
|
# List of libraries to link against
|
|
set(Z3_LIBRARIES "z3::libz3")
|