mirror of
https://github.com/JonathanSalwan/Triton
synced 2026-06-21 13:43:30 +00:00
MACHIZAUD Andréa
71 lines
2.2 KiB
CMake
71 lines
2.2 KiB
CMake
# - Try to find Z3
|
|
# Once done, this will define
|
|
#
|
|
# Z3_FOUND - system has Z3
|
|
# Z3_VERSION - the Z3 version
|
|
# Z3_INCLUDE_DIRS - the Z3 include directories
|
|
# Z3_LIBRARIES - link these to use Z3
|
|
|
|
include(LibFindMacros)
|
|
|
|
# Dependencies
|
|
# libfind_package(Z3 z3)
|
|
|
|
# Use pkg-config to get hints about paths
|
|
# libfind_pkg_check_modules(Z3_PKGCONF z3)
|
|
|
|
if(NOT Z3_INCLUDE_DIRS)
|
|
set(Z3_INCLUDE_DIRS "$ENV{Z3_INCLUDE_DIRS}")
|
|
endif()
|
|
|
|
if(NOT Z3_LIBRARIES)
|
|
set(Z3_LIBRARIES "$ENV{Z3_LIBRARIES}")
|
|
endif()
|
|
|
|
if(NOT Z3_INCLUDE_DIRS AND NOT Z3_LIBRARIES)
|
|
find_path(Z3_INCLUDE_DIR
|
|
NAMES z3.h
|
|
PATHS ${Z3_PKGCONF_INCLUDE_DIRS}
|
|
)
|
|
|
|
find_library(Z3_LIBRARY
|
|
NAMES z3 libz3
|
|
PATHS ${Z3_PKGCONF_LIBRARY_DIRS}
|
|
)
|
|
|
|
# Set the include dir variables and the libraries and let libfind_process do the rest.
|
|
# NOTE: Singular variables for this library, plural for libraries this this lib depends on.
|
|
set(Z3_PROCESS_INCLUDES Z3_INCLUDE_DIR Z3_INCLUDE_DIRS)
|
|
set(Z3_PROCESS_LIBS Z3_LIBRARY Z3_LIBRARIES)
|
|
|
|
libfind_process(Z3)
|
|
|
|
if(NOT Z3_FOUND)
|
|
message(FATAL_ERROR "Z3 not found")
|
|
else()
|
|
cmake_path(GET Z3_LIBRARY PARENT_PATH Z3_LIB_DIR)
|
|
cmake_path(GET Z3_LIBRARY STEM LAST_ONLY Z3_LIB_NAME)
|
|
string(REGEX REPLACE "^lib" "" Z3_LIB_NAME ${Z3_LIB_NAME})
|
|
endif()
|
|
else()
|
|
message(STATUS "Z3 includes directory defined: ${Z3_INCLUDE_DIRS}")
|
|
message(STATUS "Z3 libraries defined: ${Z3_LIBRARIES}")
|
|
endif()
|
|
|
|
find_file(Z3_VERSION_HEADER
|
|
z3_version.h
|
|
PATHS ${Z3_INCLUDE_DIRS}
|
|
REQUIRED
|
|
)
|
|
|
|
file(READ "${Z3_VERSION_HEADER}" Z3_VERSION_HEADER_CONTENT)
|
|
string(REGEX MATCH "Z3_MAJOR_VERSION +([0-9]+)" _ ${Z3_VERSION_HEADER_CONTENT})
|
|
set(Z3_MAJOR_VERSION ${CMAKE_MATCH_1})
|
|
string(REGEX MATCH "Z3_MINOR_VERSION +([0-9]+)" _ ${Z3_VERSION_HEADER_CONTENT})
|
|
set(Z3_MINOR_VERSION ${CMAKE_MATCH_1})
|
|
string(REGEX MATCH "Z3_BUILD_NUMBER +([0-9]+)" _ ${Z3_VERSION_HEADER_CONTENT})
|
|
set(Z3_BUILD_NUMBER ${CMAKE_MATCH_1})
|
|
string(REGEX MATCH "Z3_REVISION_NUMBER +([0-9]+)" _ ${Z3_VERSION_HEADER_CONTENT})
|
|
set(Z3_REVISION_NUMBER ${CMAKE_MATCH_1})
|
|
set(Z3_VERSION "${Z3_MAJOR_VERSION}.${Z3_MINOR_VERSION}.${Z3_BUILD_NUMBER}.${Z3_REVISION_NUMBER}")
|