Author: mgorny Date: Sat Apr 8 09:38:06 2017 New Revision: 299813 URL: http://llvm.org/viewvc/llvm-project?rev=299813&view=rev Log: [cmake] Support Gentoo install for z3
Add the 'z3' subdirectory to the list of possible path suffixes for libz3 header search. The z3 headers are installed in /usr/include/z3 on Gentoo. Differential Revision: https://reviews.llvm.org/D31756 Modified: cfe/trunk/cmake/modules/FindZ3.cmake Modified: cfe/trunk/cmake/modules/FindZ3.cmake URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/cmake/modules/FindZ3.cmake?rev=299813&r1=299812&r2=299813&view=diff ============================================================================== --- cfe/trunk/cmake/modules/FindZ3.cmake (original) +++ cfe/trunk/cmake/modules/FindZ3.cmake Sat Apr 8 09:38:06 2017 @@ -1,5 +1,5 @@ find_path(Z3_INCLUDE_DIR NAMES z3.h - PATH_SUFFIXES libz3 + PATH_SUFFIXES libz3 z3 ) find_library(Z3_LIBRARIES NAMES z3 libz3 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
