From: Michał Górny <mgorny@gentoo.org>
Date: Wed, 9 Jan 2019 19:32:48 +0000 (+0100)
Subject: sys-devel/clang: Update z3 option name
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=0b2dd924196f59d5f05373320a5f753190a533c1;p=gentoo.git

sys-devel/clang: Update z3 option name

Signed-off-by: Michał Górny <mgorny@gentoo.org>
---

diff --git a/sys-devel/clang/clang-9999.ebuild b/sys-devel/clang/clang-9999.ebuild
index 9e95b51eaf98..98b025974053 100644
--- a/sys-devel/clang/clang-9999.ebuild
+++ b/sys-devel/clang/clang-9999.ebuild
@@ -137,7 +137,7 @@ multilib_src_configure() {
 		-DCLANG_ENABLE_ARCMT=$(usex static-analyzer)
 		-DCLANG_ENABLE_STATIC_ANALYZER=$(usex static-analyzer)
 		# z3 is not multilib-friendly
-		-DCLANG_ANALYZER_BUILD_Z3=$(multilib_native_usex z3)
+		-DCLANG_ANALYZER_ENABLE_Z3_SOLVER=$(multilib_native_usex z3)
 	)
 	use test && mycmakeargs+=(
 		-DLLVM_MAIN_SRC_DIR="${WORKDIR}/llvm"