This revision was automatically updated to reflect the committed changes.
Closed by commit rL299813: [cmake] Support Gentoo install for z3 (authored by
mgorny).
Changed prior to commit:
https://reviews.llvm.org/D31756?vs=94354=94594#toc
Repository:
rL LLVM
https://reviews.llvm.org/D31756
ddcc accepted this revision.
ddcc added a comment.
This revision is now accepted and ready to land.
Thanks!
Repository:
rL LLVM
https://reviews.llvm.org/D31756
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
mgorny created this revision.
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.
Repository:
rL LLVM
https://reviews.llvm.org/D31756
Files:
cmake/modules/FindZ3.cmake
Index:
