diff options
author | Alfredo Tupone <tupone@gentoo.org> | 2022-02-08 09:56:11 +0100 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2022-02-08 09:56:11 +0100 |
commit | 222d7c3f5514f8cef25d7b119ebd97ff3a532ea1 (patch) | |
tree | 0c1274b303b58e9472e26124390881ba25bc0525 /sci-mathematics/cvc4 | |
parent | dev-java/joda-convert: Switch to guava:0 (diff) | |
download | gentoo-222d7c3f5514f8cef25d7b119ebd97ff3a532ea1.tar.gz gentoo-222d7c3f5514f8cef25d7b119ebd97ff3a532ea1.tar.bz2 gentoo-222d7c3f5514f8cef25d7b119ebd97ff3a532ea1.zip |
sci-mathematics/cvc4: fix deps
Closes: https://bugs.gentoo.org/823023
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'sci-mathematics/cvc4')
-rw-r--r-- | sci-mathematics/cvc4/cvc4-1.8.ebuild | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/sci-mathematics/cvc4/cvc4-1.8.ebuild b/sci-mathematics/cvc4/cvc4-1.8.ebuild index 879bf5675991..d15cbba2d1f8 100644 --- a/sci-mathematics/cvc4/cvc4-1.8.ebuild +++ b/sci-mathematics/cvc4/cvc4-1.8.ebuild @@ -23,7 +23,11 @@ RDEPEND="dev-libs/antlr-c cln? ( sci-libs/cln ) !cln? ( dev-libs/gmp:= )" DEPEND="${RDEPEND}" -BDEPEND="${PYTHON_DEPS}" +BDEPEND="${PYTHON_DEPS} + $(python_gen_any_dep ' + dev-python/toml[${PYTHON_USEDEP}] + ') +" S="${WORKDIR}"/${PN^^}-archived-${PV} |