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 | 11c4af2283dae5774ad923441f66c5f56ef2fdca (patch) | |
tree | 671bc4c798eea48da034058a1e5181c62a25663a /cmake | |
parent | c6c997530987a170a82ad88b3b446402ec9d6bec (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
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@299813 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'cmake')
-rw-r--r-- | cmake/modules/FindZ3.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cmake/modules/FindZ3.cmake b/cmake/modules/FindZ3.cmake index d95f073af1..779ef928da 100644 --- a/cmake/modules/FindZ3.cmake +++ b/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 |