diff options
| -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} |