# - 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}")