summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIonen Wolkens <ionen@gentoo.org>2023-02-15 00:20:40 -0500
committerIonen Wolkens <ionen@gentoo.org>2023-02-15 01:24:30 -0500
commitd9c1c1f31bd1b3426a67b091a5f2a6957c01fc94 (patch)
tree140e0bd23ba8b05b3cc1c42aaccc971f206c01a3 /sci-mathematics/kissat
parentmedia-video/vlc: depend on <ffmpeg-5 for USE='ffmpeg vaapi' for 3.x (diff)
downloadgentoo-d9c1c1f31bd1b3426a67b091a5f2a6957c01fc94.tar.gz
gentoo-d9c1c1f31bd1b3426a67b091a5f2a6957c01fc94.tar.bz2
gentoo-d9c1c1f31bd1b3426a67b091a5f2a6957c01fc94.zip
sci-mathematics/kissat: add blocker on >=x11-terms/kitty-0.27
Would be difficult to rename or make 'kitten' optional from kitty's side given it's used/referenced in several places both by kitty's code and user documentation, and not familiar with sci-mathematics/kissat to say what's reasonable to do from that end, so just block. Can be revisited if someone actually needs these to coexist. Closes: https://bugs.gentoo.org/894342 Signed-off-by: Ionen Wolkens <ionen@gentoo.org>
Diffstat (limited to 'sci-mathematics/kissat')
-rw-r--r--sci-mathematics/kissat/kissat-3.0.0.ebuild2
1 files changed, 2 insertions, 0 deletions
diff --git a/sci-mathematics/kissat/kissat-3.0.0.ebuild b/sci-mathematics/kissat/kissat-3.0.0.ebuild
index 3c36cf0cd9ef..4c1fed10488f 100644
--- a/sci-mathematics/kissat/kissat-3.0.0.ebuild
+++ b/sci-mathematics/kissat/kissat-3.0.0.ebuild
@@ -16,6 +16,8 @@ LICENSE="MIT"
SLOT="0"
KEYWORDS="~amd64 ~x86"
+RDEPEND="!>=x11-terms/kitty-0.27"
+
src_configure() {
local myopts=(
CC="$(tc-getCC) ${CFLAGS} ${LDFLAGS}"