From: Michal Gorny <mgorny@gentoo.org>
Date: Sat, 8 Apr 2017 14:38:06 +0000 (+0000)
Subject: [cmake] Support Gentoo install for z3
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=11c4af2283dae5774ad923441f66c5f56ef2fdca;p=clang

[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
---

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