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 | 5ef8bf73690fdae7a4f7e9561531299ca74d6c10 (patch) | |
| tree | c8c9aadde4edc89f7de65ddd4ae5f7d9d69510ff /llvm/include/llvm-c | |
| parent | e7bf9688031427a47cb51aed1d4e7c947e70b358 (diff) | |
| download | bcm5719-llvm-5ef8bf73690fdae7a4f7e9561531299ca74d6c10.tar.gz bcm5719-llvm-5ef8bf73690fdae7a4f7e9561531299ca74d6c10.zip | |
[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
Diffstat (limited to 'llvm/include/llvm-c')
0 files changed, 0 insertions, 0 deletions
