Gentoo Archives: gentoo-commits

From: Alfredo Tupone <tupone@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/
Date: Tue, 08 Feb 2022 08:56:27
Message-Id: 1644310571.222d7c3f5514f8cef25d7b119ebd97ff3a532ea1.tupone@gentoo
1 commit: 222d7c3f5514f8cef25d7b119ebd97ff3a532ea1
2 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
3 AuthorDate: Tue Feb 8 08:56:11 2022 +0000
4 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
5 CommitDate: Tue Feb 8 08:56:11 2022 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=222d7c3f
7
8 sci-mathematics/cvc4: fix deps
9
10 Closes: https://bugs.gentoo.org/823023
11 Package-Manager: Portage-3.0.30, Repoman-3.0.3
12 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
13
14 sci-mathematics/cvc4/cvc4-1.8.ebuild | 6 +++++-
15 1 file changed, 5 insertions(+), 1 deletion(-)
16
17 diff --git a/sci-mathematics/cvc4/cvc4-1.8.ebuild b/sci-mathematics/cvc4/cvc4-1.8.ebuild
18 index 879bf5675991..d15cbba2d1f8 100644
19 --- a/sci-mathematics/cvc4/cvc4-1.8.ebuild
20 +++ b/sci-mathematics/cvc4/cvc4-1.8.ebuild
21 @@ -23,7 +23,11 @@ RDEPEND="dev-libs/antlr-c
22 cln? ( sci-libs/cln )
23 !cln? ( dev-libs/gmp:= )"
24 DEPEND="${RDEPEND}"
25 -BDEPEND="${PYTHON_DEPS}"
26 +BDEPEND="${PYTHON_DEPS}
27 + $(python_gen_any_dep '
28 + dev-python/toml[${PYTHON_USEDEP}]
29 + ')
30 +"
31
32 S="${WORKDIR}"/${PN^^}-archived-${PV}