fixed finding of z3 library when its location is given via -DZ3_ROOT

8 years ago · de87ff1152
1 changed files with 2 additions and 2 deletions
--- 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)
+mark_as_advanced(Z3_LIBRARY Z3_INCLUDE_DIR Z3_SOLVER, Z3_EXEC)