This is an archive of the discontinued LLVM Phabricator instance.

Differential D31756

[cmake] Support Gentoo install for z3
ClosedPublic

Authored by mgorny on Apr 6 2017, 5:38 AM.

Details

Reviewers
dcoughlin
zaks.anna
NoQ
ddcc
Commits
rG5ef8bf73690f: [cmake] Support Gentoo install for z3
rC299813: [cmake] Support Gentoo install for z3
rL299813: [cmake] Support Gentoo install for z3
Summary

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.

Diff Detail

Event Timeline

mgorny created this revision.Apr 6 2017, 5:38 AM
ddcc accepted this revision.Apr 6 2017, 9:49 AM

Thanks!

This revision is now accepted and ready to land.Apr 6 2017, 9:49 AM
Closed by commit rL299813: [cmake] Support Gentoo install for z3 (authored by mgorny). · Explain WhyApr 8 2017, 7:50 AM
This revision was automatically updated to reflect the committed changes.

Revision Contents

PathSize
cmake/
modules/
2 lines

Diff 94354

cmake/modules/FindZ3.cmake

find_path(Z3_INCLUDE_DIR NAMES z3.h find_path(Z3_INCLUDE_DIR NAMES z3.h
PATH_SUFFIXES libz3 PATH_SUFFIXES libz3 z3
) )
find_library(Z3_LIBRARIES NAMES z3 libz3 find_library(Z3_LIBRARIES NAMES z3 libz3
) )
find_program(Z3_EXECUTABLE z3) find_program(Z3_EXECUTABLE z3)
if(Z3_INCLUDE_DIR AND Z3_EXECUTABLE) if(Z3_INCLUDE_DIR AND Z3_EXECUTABLE)
Show All 18 Lines