diff options
author | Sam James <sam@gentoo.org> | 2022-10-15 15:56:16 +0100 |
---|---|---|
committer | Sam James <sam@gentoo.org> | 2022-10-15 15:56:16 +0100 |
commit | 2926d84a6e508609bd9eb5d2861c9ae46c1c0d3c (patch) | |
tree | 156edbe45426d8d3d2650b2ce54919b0b9bb758c /sci-mathematics/cvc4 | |
parent | media-libs/shaderc: fix PythonAnyMismatchedDepHasVersionCheck (diff) | |
download | gentoo-2926d84a6e508609bd9eb5d2861c9ae46c1c0d3c.tar.gz gentoo-2926d84a6e508609bd9eb5d2861c9ae46c1c0d3c.tar.bz2 gentoo-2926d84a6e508609bd9eb5d2861c9ae46c1c0d3c.zip |
sci-mathematics/cvc4: fix PythonHasVersionUsage
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'sci-mathematics/cvc4')
-rw-r--r-- | sci-mathematics/cvc4/cvc4-1.8-r1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild b/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild index ed74ecc20fba..c013d2a2ed33 100644 --- a/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild +++ b/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild @@ -33,7 +33,7 @@ S="${WORKDIR}"/${PN^^}-archived-${PV} PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) python_check_deps() { - has_version "dev-python/toml[${PYTHON_USEDEP}]" + python_has_version "dev-python/toml[${PYTHON_USEDEP}]" } src_configure() { |