diff options
| author |   David Seifert <soap@gentoo.org> | 2021-06-18 15:15:42 +0200 |
|---|---|---|
| committer | David Seifert <soap@gentoo.org> | 2021-06-18 15:15:42 +0200 |
| commit | 819fbc8e13128f1b6dadf716935ffb7eb848515e (patch) | |
| tree | a079f4ae8402404fdd19e42221ac05d74afd99b8 /sci-mathematics | |
| parent | sci-mathematics/normaliz: Depend on dev-libs/gmp[cxx(+)] (diff) | |
| download | gentoo-819fbc8e13128f1b6dadf716935ffb7eb848515e.tar.gz gentoo-819fbc8e13128f1b6dadf716935ffb7eb848515e.tar.bz2 gentoo-819fbc8e13128f1b6dadf716935ffb7eb848515e.zip | |
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@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/z3/z3-4.8.10-r1.ebuild (renamed from sci-mathematics/z3/z3-4.8.10.ebuild) | 2 | ||||
| -rw-r--r-- | sci-mathematics/z3/z3-4.8.11-r1.ebuild (renamed from sci-mathematics/z3/z3-4.8.11.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 index eb07c4a20143..2683e9fa94d9 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 index fdef20fc1775..87be02fc9950 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=" |