From e019bf19d152285c9a6a94f88a3fa95143db23e9 Mon Sep 17 00:00:00 2001 From: dehnert Date: Fri, 6 Apr 2018 14:50:46 +0200 Subject: [PATCH] fixing Z3 hint handling --- resources/3rdparty/CMakeLists.txt | 4 ++-- resources/cmake/find_modules/FindZ3.cmake | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt index 979c5cbe8..5957f3b51 100644 --- a/resources/3rdparty/CMakeLists.txt +++ b/resources/3rdparty/CMakeLists.txt @@ -157,9 +157,9 @@ if(Z3_FOUND) endif() if(STORM_HAVE_Z3_OPTIMIZE) - message (STATUS "Storm - Linking with Z3. (Z3 version supports optimization)") + message (STATUS "Storm - Linking with Z3 (version ${Z3_VERSION}). (Z3 version supports optimization)") else() - message (STATUS "Storm - Linking with Z3. (Z3 version does not support optimization)") + message (STATUS "Storm - Linking with Z3 (version ${Z3_VERSION}). (Z3 version does not support optimization)") endif() add_imported_library(z3 SHARED ${Z3_LIBRARIES} ${Z3_INCLUDE_DIRS}) diff --git a/resources/cmake/find_modules/FindZ3.cmake b/resources/cmake/find_modules/FindZ3.cmake index cf838874d..d0978b3bc 100644 --- a/resources/cmake/find_modules/FindZ3.cmake +++ b/resources/cmake/find_modules/FindZ3.cmake @@ -10,7 +10,7 @@ # find include dir by searching for a concrete file, which definitely must be in it find_path(Z3_INCLUDE_DIR NAMES z3++.h - PATHS ENV PATH INCLUDE "/usr/include/z3" "/usr/local/include/z3/" "${Z3_ROOT}/include" + PATHS ENV PATH INCLUDE "${Z3_ROOT}/include" "/usr/include/z3" "/usr/local/include/z3/" ) # find library @@ -44,4 +44,4 @@ ENDIF (NOT Z3_FIND_QUIETLY) #message(${Z3_LIBRARY}) # make the set variables only visible in advanced mode -mark_as_advanced(Z3_LIBRARY Z3_INCLUDE_DIR Z3_SOLVER, Z3_EXEC) \ No newline at end of file +mark_as_advanced(Z3_LIBRARY Z3_INCLUDE_DIR Z3_SOLVER, Z3_EXEC)