This is an archive of the discontinued LLVM Phabricator instance.

[cmake] Support Gentoo install for z3
ClosedPublic

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

Reviewers

Commits

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.

Thanks!

This revision is now accepted and ready to land.Apr 6 2017, 9:49 AM

This revision was automatically updated to reflect the committed changes.

Path

Size

cfe/

trunk/

cmake/

modules/

2 lines

	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