diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2021-01-20 08:31:58 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2021-01-20 08:31:58 +0100 |
| commit | 5e516f03a0f0543480601b545cadfa074c6051eb (patch) | |
| tree | 55e56eed55cd4e6252e1916485fb94e78657f348 /sci-mathematics | |
| parent | dev-ruby/ruby2_keywords: add 0.0.4 (diff) | |
| download | gentoo-5e516f03a0f0543480601b545cadfa074c6051eb.tar.gz gentoo-5e516f03a0f0543480601b545cadfa074c6051eb.tar.bz2 gentoo-5e516f03a0f0543480601b545cadfa074c6051eb.zip | |
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@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/cvc4/cvc4-1.7-r1.ebuild (renamed from sci-mathematics/cvc4/cvc4-1.7.ebuild) | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/sci-mathematics/cvc4/cvc4-1.7.ebuild b/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild index 09aab161f76d..a35698d4920a 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} |