diff options
author | Michal Gorny <mgorny@gentoo.org> | 2017-04-08 14:38:06 +0000 |
---|---|---|
committer | Michal Gorny <mgorny@gentoo.org> | 2017-04-08 14:38:06 +0000 |
commit | 73486bd45ffff22caadb773bbd9bde05735796e7 (patch) | |
tree | cb64d61ff8a76f7c99a74f89f3d69b925eca5b68 /clang/cmake | |
parent | 93caa894c5e2cfc9e9837be40efd8dcb38f1904a (diff) |
[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
Diffstat (limited to 'clang/cmake')
-rw-r--r-- | clang/cmake/modules/FindZ3.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/cmake/modules/FindZ3.cmake b/clang/cmake/modules/FindZ3.cmake index d95f073af1e..779ef928da1 100644 --- a/clang/cmake/modules/FindZ3.cmake +++ b/clang/cmake/modules/FindZ3.cmake @@ -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 |