This is an archive of the discontinued LLVM Phabricator instance.

	Show First 20 Lines • Show All 404 Lines • ▼ Show 20 Lines
	option(CLANG_BUILD_TOOLS			option(CLANG_BUILD_TOOLS
	"Build the Clang tools. If OFF, just generate build targets." ON)			"Build the Clang tools. If OFF, just generate build targets." ON)

	option(CLANG_ENABLE_ARCMT "Build ARCMT." ON)			option(CLANG_ENABLE_ARCMT "Build ARCMT." ON)
	option(CLANG_ENABLE_STATIC_ANALYZER "Build static analyzer." ON)			option(CLANG_ENABLE_STATIC_ANALYZER "Build static analyzer." ON)

	set(CLANG_ANALYZER_Z3_INSTALL_DIR "" CACHE STRING "Install directory of the Z3 solver.")			set(CLANG_ANALYZER_Z3_INSTALL_DIR "" CACHE STRING "Install directory of the Z3 solver.")

	find_package(Z3 4.7.1 EXACT)			find_package(Z3 4.7.1)

	if (CLANG_ANALYZER_Z3_INSTALL_DIR)			if (CLANG_ANALYZER_Z3_INSTALL_DIR)
	if (NOT Z3_FOUND)			if (NOT Z3_FOUND)
	message(FATAL_ERROR "Z3 4.7.1 has not been found in CLANG_ANALYZER_Z3_INSTALL_DIR: ${CLANG_ANALYZER_Z3_INSTALL_DIR}.")			message(FATAL_ERROR "Z3 4.7.1 has not been found in CLANG_ANALYZER_Z3_INSTALL_DIR: ${CLANG_ANALYZER_Z3_INSTALL_DIR}.")
	endif()			endif()
	endif()			endif()

	set(CLANG_ANALYZER_ENABLE_Z3_SOLVER_DEFAULT "${Z3_FOUND}")			set(CLANG_ANALYZER_ENABLE_Z3_SOLVER_DEFAULT "${Z3_FOUND}")
	▲ Show 20 Lines • Show All 392 Lines • Show Last 20 Lines

cmake: z3: Remove EXACT from 4.7.1 after being compatible with 4.8.1ClosedPublic