[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 llvm-svn: 299813
Loading
Please sign in to comment