sys-devel/clang: Update z3 option name
authorMichał Górny <mgorny@gentoo.org>
Wed, 9 Jan 2019 19:32:48 +0000 (20:32 +0100)
committerMichał Górny <mgorny@gentoo.org>
Wed, 9 Jan 2019 20:30:46 +0000 (21:30 +0100)
Signed-off-by: Michał Górny <mgorny@gentoo.org>
sys-devel/clang/clang-9999.ebuild

index 9e95b51eaf98c860d3ee06c1e2a2f8d9d260ae22..98b0259740538e0cb536cd0696c3ba04433ac2a5 100644 (file)
@@ -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"