commit: 819fbc8e13128f1b6dadf716935ffb7eb848515e Author: David Seifert <soap <AT> gentoo <DOT> org> AuthorDate: Fri Jun 18 13:15:42 2021 +0000 Commit: David Seifert <soap <AT> gentoo <DOT> org> CommitDate: Fri Jun 18 13:15:42 2021 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=819fbc8e
sci-mathematics/z3: Depend on dev-libs/gmp[cxx(+)] Closes: https://github.com/gentoo/gentoo/pull/21305 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: David Seifert <soap <AT> gentoo.org> sci-mathematics/z3/{z3-4.8.10.ebuild => z3-4.8.10-r1.ebuild} | 2 +- sci-mathematics/z3/{z3-4.8.11.ebuild => z3-4.8.11-r1.ebuild} | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/sci-mathematics/z3/z3-4.8.10.ebuild b/sci-mathematics/z3/z3-4.8.10-r1.ebuild similarity index 97% rename from sci-mathematics/z3/z3-4.8.10.ebuild rename to sci-mathematics/z3/z3-4.8.10-r1.ebuild index eb07c4a2014..2683e9fa94d 100644 --- a/sci-mathematics/z3/z3-4.8.10.ebuild +++ b/sci-mathematics/z3/z3-4.8.10-r1.ebuild @@ -20,7 +20,7 @@ IUSE="doc examples gmp isabelle java python" REQUIRED_USE="${PYTHON_REQUIRED_USE}" RDEPEND="${PYTHON_DEPS} - gmp? ( dev-libs/gmp:0=[cxx,${MULTILIB_USEDEP}] )" + gmp? ( dev-libs/gmp:0=[cxx(+),${MULTILIB_USEDEP}] )" DEPEND="${RDEPEND} java? ( >=virtual/jdk-1.8 )" BDEPEND=" diff --git a/sci-mathematics/z3/z3-4.8.11.ebuild b/sci-mathematics/z3/z3-4.8.11-r1.ebuild similarity index 97% rename from sci-mathematics/z3/z3-4.8.11.ebuild rename to sci-mathematics/z3/z3-4.8.11-r1.ebuild index fdef20fc177..87be02fc995 100644 --- a/sci-mathematics/z3/z3-4.8.11.ebuild +++ b/sci-mathematics/z3/z3-4.8.11-r1.ebuild @@ -20,7 +20,7 @@ IUSE="doc examples gmp isabelle java python" REQUIRED_USE="${PYTHON_REQUIRED_USE}" RDEPEND="${PYTHON_DEPS} - gmp? ( dev-libs/gmp:0=[cxx,${MULTILIB_USEDEP}] )" + gmp? ( dev-libs/gmp:0=[cxx(+),${MULTILIB_USEDEP}] )" DEPEND="${RDEPEND} java? ( >=virtual/jdk-1.8 )" BDEPEND="
