forked from openkylin/z3
31 lines
1.3 KiB
CMake
31 lines
1.3 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@.
|
|
################################################################################
|
|
|
|
# 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")
|