commit: 5e516f03a0f0543480601b545cadfa074c6051eb Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Wed Jan 20 07:31:58 2021 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Wed Jan 20 07:31:58 2021 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5e516f03
sci-mathematics/cvc4: add python dep Closes: https://bugs.gentoo.org/766099 Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> sci-mathematics/cvc4/{cvc4-1.7.ebuild => cvc4-1.7-r1.ebuild} | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/sci-mathematics/cvc4/cvc4-1.7.ebuild b/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild similarity index 90% rename from sci-mathematics/cvc4/cvc4-1.7.ebuild rename to sci-mathematics/cvc4/cvc4-1.7-r1.ebuild index 09aab161f76..a35698d4920 100644 --- a/sci-mathematics/cvc4/cvc4-1.7.ebuild +++ b/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild @@ -1,9 +1,11 @@ -# Copyright 1999-2019 Gentoo Authors +# Copyright 1999-2021 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 -inherit cmake-utils +PYTHON_COMPAT=( python3_{6,7,8} ) + +inherit python-any-r1 cmake-utils DESCRIPTION="automatic theorem prover for satisfiability modulo theories (SMT) problems" HOMEPAGE="http://cvc4.cs.stanford.edu/web/"; @@ -21,6 +23,7 @@ RDEPEND="dev-libs/antlr-c cln? ( sci-libs/cln ) !cln? ( dev-libs/gmp:= )" DEPEND="${RDEPEND}" +BDEPEND="${PYTHON_DEPS}" S="${WORKDIR}"/CVC4-${PV}
