Bug 894342 – sci-mathematics/kissat-3.0.0 - file collision with x11-terms/kitty-0.27.1

• Product: Gentoo Linux
• Status: RESOLVED FIXED

[Description Toralf Förster 2023-02-14 08:51:20 UTC]

 * Press Ctrl-C to Stop
 * 
 * x11-terms/kitty-0.27.1:0::gentoo
 * 	/usr/bin/kitten
 * 
 * Package 'sci-mathematics/kissat-3.0.0' NOT merged due to file

  -------------------------------------------------------------------

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 23.0_systemd-j4-20230212-150024

  -------------------------------------------------------------------

GNUMAKEFLAGS="$GNUMAKEFLAGS --jobserver-style=pipe"
gcc-config -l:
 [1] x86_64-pc-linux-gnu-12 *
clang/llvm (if any):
clang version 15.0.7
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/15/bin
Configuration file: /etc/clang/clang.cfg
/usr/lib/llvm/15
15.0.7
Python 3.10.10
Available Rust versions:
  [1]   rust-1.67.1 *
The following VMs are available for generation-2:
1)	Eclipse Temurin JDK 11.0.18_p10 [openjdk-bin-11]
2)	Eclipse Temurin JDK 17.0.6_p10 [openjdk-bin-17]
*)	Eclipse Temurin JDK 8.362_p09 [openjdk-bin-8]
4)	Eclipse Temurin JRE 17.0.6_p10 [openjdk-jre-bin-17]
Available Java Virtual Machines:
  [1]   openjdk-bin-8  system-vm
  [2]   openjdk-bin-11 
  [3]   openjdk-bin-17 
  [4]   openjdk-jre-bin-17 

The Glorious Glasgow Haskell Compilation System, version 9.0.2
php cli (if any):

  HEAD of ::gentoo
commit f44c73aa668d01c26e5968565712c6521d99e03d
Author: Repository mirror & CI <[e-mail]>
Date:   Mon Feb 13 23:32:00 2023 +0000

    2023-02-13 23:32:00 UTC

emerge -qpvO sci-mathematics/kissat
[ebuild  N    ] sci-mathematics/kissat-3.0.0

[Comment 1 Toralf Förster 2023-02-14 08:51:21 UTC]

Created attachment 851046 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2023-02-14 08:51:22 UTC]

Created attachment 851048 [details]
emerge-history.txt

[Comment 3 Toralf Förster 2023-02-14 08:51:23 UTC]

Created attachment 851050 [details]
etc.clang.tar.bz2

[Comment 4 Toralf Förster 2023-02-14 08:51:24 UTC]

Created attachment 851052 [details]
etc.portage.tar.bz2

[Comment 5 Toralf Förster 2023-02-14 08:51:25 UTC]

Created attachment 851054 [details]
logs.tar.bz2

[Comment 6 Toralf Förster 2023-02-14 08:51:26 UTC]

Created attachment 851056 [details]
sci-mathematics:kissat-3.0.0:20230214-003133.log

[Comment 7 Larry the Git Cow 2023-02-15 06:25:08 UTC]

The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bd76745465a207b46ac2dae4916eb53ae470d885

commit bd76745465a207b46ac2dae4916eb53ae470d885
Author:     Ionen Wolkens <[e-mail]>
AuthorDate: 2023-02-15 05:22:15 +0000
Commit:     Ionen Wolkens <[e-mail]>
CommitDate: 2023-02-15 06:24:31 +0000

    x11-terms/kitty: add blocker on sci-mathematics/kissat
    
    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 <[e-mail]>

 x11-terms/kitty/kitty-0.27.1.ebuild | 3 ++-
 x11-terms/kitty/kitty-9999.ebuild   | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d9c1c1f31bd1b3426a67b091a5f2a6957c01fc94

commit d9c1c1f31bd1b3426a67b091a5f2a6957c01fc94
Author:     Ionen Wolkens <[e-mail]>
AuthorDate: 2023-02-15 05:20:40 +0000
Commit:     Ionen Wolkens <[e-mail]>
CommitDate: 2023-02-15 06:24:30 +0000

    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 <[e-mail]>

 sci-mathematics/kissat/kissat-3.0.0.ebuild | 2 ++
 1 file changed, 2 insertions(+)