r299813 - [cmake] Support Gentoo install for z3

Michal Gorny via cfe-commits cfe-commits at lists.llvm.org
Sat Apr 8 07:38:08 PDT 2017


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




More information about the cfe-commits mailing list