From 66e1cf8bd661e761d6953975b7eb95087fce0eef Mon Sep 17 00:00:00 2001 From: Enno Ruijters Date: Fri, 28 Jul 2017 16:33:58 +0200 Subject: [PATCH] Add support for Fedora's z3 package. Fedora installs the z3 headers in /usr/include/z3, which was not being detected by CMake. Signed-off-by: dehnert --- resources/cmake/find_modules/FindZ3.cmake | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/cmake/find_modules/FindZ3.cmake b/resources/cmake/find_modules/FindZ3.cmake index 39bea2558..cf838874d 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/local/include/z3/" "${Z3_ROOT}/include" + PATHS ENV PATH INCLUDE "/usr/include/z3" "/usr/local/include/z3/" "${Z3_ROOT}/include" ) # find library