Michal Gorny 5ef8bf7369 [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		2017-04-08 14:38:06 +00:00
..
caches	Add a cmake cache file for a stage-2 build with ThinLTO	2017-03-09 01:18:31 +00:00
modules	[cmake] Support Gentoo install for z3	2017-04-08 14:38:06 +00:00