diff options
author | Michał Górny <mgorny@gentoo.org> | 2019-07-22 12:21:07 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2019-07-22 12:42:14 +0200 |
commit | e0c37990b91903cbccdd3a1eeba265c910c99cc4 (patch) | |
tree | e9ce8989ae82843d099d7bc4236c381fd5eec6cc /sys-devel/llvm/llvm-9.0.0.9999.ebuild | |
parent | dev-util/lldb: readline extension removal is unneeded in 9.* too (diff) | |
download | gentoo-e0c37990b91903cbccdd3a1eeba265c910c99cc4.tar.gz gentoo-e0c37990b91903cbccdd3a1eeba265c910c99cc4.tar.bz2 gentoo-e0c37990b91903cbccdd3a1eeba265c910c99cc4.zip |
sys-devel/llvm: 9.0.0+ introduce Z3 support (moved from clang)
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'sys-devel/llvm/llvm-9.0.0.9999.ebuild')
-rw-r--r-- | sys-devel/llvm/llvm-9.0.0.9999.ebuild | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/sys-devel/llvm/llvm-9.0.0.9999.ebuild b/sys-devel/llvm/llvm-9.0.0.9999.ebuild index ecf98d65555a..dbdf1284b2a3 100644 --- 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 |