cmake 3.8 compat
MODIFY
cmake/FindZ3.cmake
cmake/FindZ3.cmake
@@ -6,13 +6,14 @@ message(STATUS "Z3: ${Z3_INCLUDE_DIR} ${Z3_LIBRARIES}")
if (Z3_INCLUDE_DIR AND EXISTS "${Z3_INCLUDE_DIR}/z3_version.h")
file(STRINGS "${Z3_INCLUDE_DIR}/z3_version.h" Z3_VERSION_STRS
REGEX "^#define Z3_(MAJOR|MINOR|BUILD)_(VERSION|NUMBER)[ \t]+[0-9]+$")
+ set(Z3_INSTALLED_VERSION "")
foreach(VLINE ${Z3_VERSION_STRS})
if (VLINE MATCHES "Z3_[A-Z_ \t]+([0-9]+)")
- list(APPEND Z3_INSTALLED_VERSION "${CMAKE_MATCH_1}")
+ set(Z3_INSTALLED_VERSION "${Z3_INSTALLED_VERSION}.${CMAKE_MATCH_1}")
endif()
endforeach()
unset(Z3_VERSION_STRS)
- string(JOIN "." Z3_INSTALLED_VERSION ${Z3_INSTALLED_VERSION})
+ string(REGEX REPLACE "^\.(.+)" "\\1" Z3_INSTALLED_VERSION ${Z3_INSTALLED_VERSION})
else()
set(Z3_INSTALLED_VERSION "0.0.0")
endif()

cmake 3.8 compat