message: cmake 3.8 compat
diff: @@ -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()
  