sys-devel/llvm: 9.0.0+ introduce Z3 support (moved from clang)

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

diff --git a/sys-devel/llvm/llvm-10.0.0.9999.ebuild b/sys-devel/llvm/llvm-10.0.0.9999.ebuild
index 04608a4f1418979c4165444b2a5606a1521d6398..8f93e039da4fdd599ddaf4a2a3369c8764081cfe 100644 (file)
--- a/sys-devel/llvm/llvm-10.0.0.9999.ebuild
+++ b/sys-devel/llvm/llvm-10.0.0.9999.ebuild
@@ -37,7 +37,7 @@ LICENSE="UoI-NCSA rc BSD public-domain
        llvm_targets_ARM? ( LLVM-Grant )"
 SLOT="$(ver_cut 1)"
 KEYWORDS=""
-IUSE="debug doc exegesis gold libedit +libffi ncurses test xar xml
+IUSE="debug doc exegesis gold libedit +libffi ncurses test xar xml z3
        kernel_Darwin ${ALL_LLVM_TARGETS[*]}"
 RESTRICT="!test? ( test )"
 
@@ -54,7 +54,8 @@ RDEPEND="
        libffi? ( >=virtual/libffi-3.0.13-r1:0=[${MULTILIB_USEDEP}] )
        ncurses? ( >=sys-libs/ncurses-5.9-r3:0=[${MULTILIB_USEDEP}] )
        xar? ( app-arch/xar )
-       xml? ( dev-libs/libxml2:2=[${MULTILIB_USEDEP}] )"
+       xml? ( dev-libs/libxml2:2=[${MULTILIB_USEDEP}] )
+       z3? ( >=sci-mathematics/z3-4.7.1:0=[${MULTILIB_USEDEP}] )"
 # configparser-3.2 breaks the build (3.3 or none at all are fine)
 DEPEND="${RDEPEND}
        dev-lang/perl
@@ -146,6 +147,7 @@ multilib_src_configure() {
                -DLLVM_ENABLE_LIBPFM=$(usex exegesis)
                -DLLVM_ENABLE_EH=ON
                -DLLVM_ENABLE_RTTI=ON
+               -DLLVM_ENABLE_Z3_SOLVER=$(usex z3)
 
                -DWITH_POLLY=OFF # TODO
 

diff --git a/sys-devel/llvm/llvm-9.0.0.9999.ebuild b/sys-devel/llvm/llvm-9.0.0.9999.ebuild
index ecf98d65555a6174151233417b3483b511d06928..dbdf1284b2a390f15ce62eddd3082537ca856019 100644 (file)
--- a/sys-devel/llvm/llvm-9.0.0.9999.ebuild
+++ b/sys-devel/llvm/llvm-9.0.0.9999.ebuild
@@ -35,7 +35,7 @@ LICENSE="UoI-NCSA rc BSD public-domain
        llvm_targets_ARM? ( LLVM-Grant )"
 SLOT="$(ver_cut 1)"
 KEYWORDS=""
-IUSE="debug doc exegesis gold libedit +libffi ncurses test xar xml
+IUSE="debug doc exegesis gold libedit +libffi ncurses test xar xml z3
        kernel_Darwin ${ALL_LLVM_TARGETS[*]}"
 RESTRICT="!test? ( test )"
 
@@ -52,7 +52,8 @@ RDEPEND="
        libffi? ( >=virtual/libffi-3.0.13-r1:0=[${MULTILIB_USEDEP}] )
        ncurses? ( >=sys-libs/ncurses-5.9-r3:0=[${MULTILIB_USEDEP}] )
        xar? ( app-arch/xar )
-       xml? ( dev-libs/libxml2:2=[${MULTILIB_USEDEP}] )"
+       xml? ( dev-libs/libxml2:2=[${MULTILIB_USEDEP}] )
+       z3? ( >=sci-mathematics/z3-4.7.1:0=[${MULTILIB_USEDEP}] )"
 # configparser-3.2 breaks the build (3.3 or none at all are fine)
 DEPEND="${RDEPEND}
        dev-lang/perl
@@ -141,6 +142,7 @@ multilib_src_configure() {
                -DLLVM_ENABLE_LIBPFM=$(usex exegesis)
                -DLLVM_ENABLE_EH=ON
                -DLLVM_ENABLE_RTTI=ON
+               -DLLVM_ENABLE_Z3_SOLVER=$(usex z3)
 
                -DWITH_POLLY=OFF # TODO
 

diff --git a/sys-devel/llvm/metadata.xml b/sys-devel/llvm/metadata.xml
index d07370205495177321b70b50d7c3c5c756ad635f..1f534c1999e762df773fe91536b195e251c4b5ff 100644 (file)
--- a/sys-devel/llvm/metadata.xml
+++ b/sys-devel/llvm/metadata.xml
@@ -17,5 +17,6 @@
                <flag name="ncurses">Support querying terminal properties using ncurses' terminfo</flag>
                <flag name="xar">Support dumping LLVM bitcode sections in Mach-O files
                        (uses <pkg>app-arch/xar</pkg>)</flag>
+               <flag name="z3">Enable support for <pkg>sci-mathematics/z3</pkg> constraint solver</flag>
        </use>
 </pkgmetadata>