From de87ff1152861e17a317ae5af5b6fb8273643ff3 Mon Sep 17 00:00:00 2001 From: TimQu Date: Fri, 7 Apr 2017 17:27:45 +0200 Subject: [PATCH] fixed finding of z3 library when its location is given via -DZ3_ROOT --- resources/cmake/find_modules/FindZ3.cmake | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/resources/cmake/find_modules/FindZ3.cmake b/resources/cmake/find_modules/FindZ3.cmake index 036a21728..39bea2558 100644 --- a/resources/cmake/find_modules/FindZ3.cmake +++ b/resources/cmake/find_modules/FindZ3.cmake @@ -16,7 +16,7 @@ find_path(Z3_INCLUDE_DIR # find library find_library(Z3_LIBRARY NAMES z3 - PATHS ENV PATH INCLUDE "${Z3_ROOT}/bin" + PATHS ENV PATH INCLUDE "${Z3_ROOT}/lib" ) find_program(Z3_EXEC @@ -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) \ No newline at end of file +mark_as_advanced(Z3_LIBRARY Z3_INCLUDE_DIR Z3_SOLVER, Z3_EXEC) \ No newline at end of file