-- Installing: /var/tmp/portage/sci-mathematics/boolector-3.2.3/image/usr/bin/btormc -- Set non-toolchain portion of runtime path of "/var/tmp/portage/sci-mathematics/boolector-3.2.3/image/usr/bin/btormc" to "" -- Installing: /var/tmp/portage/sci-mathematics/boolector-3.2.3/image/usr/lib/pyboolector.so -- Set non-toolchain portion of runtime path of "/var/tmp/portage/sci-mathematics/boolector-3.2.3/image/usr/lib/pyboolector.so" to "" coreutils: '/var/tmp/portage/sci-mathematics/boolector-3.2.3/image/usr/lib/libboolector.so' and '/var/tmp/portage/sci-mathematics/boolector-3.2.3/image/usr/lib/libboolector.so' are the same file coreutils: '/var/tmp/portage/sci-mathematics/boolector-3.2.3/image/usr/lib/pyboolector.so' and '/var/tmp/portage/sci-mathematics/boolector-3.2.3/image/usr/lib/pyboolector.so' are the same file * ERROR: sci-mathematics/boolector-3.2.3::gentoo failed (install phase): * (no error message) * ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 23.0_musl-20240406-125502 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-musl-13 * clang/llvm (if any): clang version 18.1.3 Target: x86_64-pc-linux-musl Thread model: posix InstalledDir: /usr/lib/llvm/18/bin Configuration file: /etc/clang/x86_64-pc-linux-musl-clang.cfg /usr/lib/llvm/18 18.1.3 Python 3.11.9 Available Ruby profiles: [1] ruby31 (with Rubygems) * Available Rust versions: [1] rust-bin-1.77.1 * php cli (if any): go version go1.22.1 linux/amd64 HEAD of ::gentoo commit 63b897b8a100eaed0d56eefafd33ab7929bdc6b5 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Mon Apr 8 22:19:06 2024 +0000 2024-04-08 22:19:06 UTC emerge -qpvO sci-mathematics/boolector [ebuild N ] sci-mathematics/boolector-3.2.3 USE="gmp minisat python -cryptominisat -examples -picosat -test" PYTHON_SINGLE_TARGET="python3_11 -python3_10 -python3_12"
Created attachment 889997 [details] emerge-info.txt
Created attachment 889998 [details] emerge-history.txt
Created attachment 889999 [details] environment
Created attachment 890000 [details] etc.clang.tar.xz
Created attachment 890001 [details] etc.portage.tar.xz
Created attachment 890002 [details] qlist-info.txt
Created attachment 890003 [details] sci-mathematics:boolector-3.2.3:20240408-230704.log
Created attachment 890004 [details] temp.tar.xz
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=06021461187e64c3e51d48b0a9edde50d1f591c6 commit 06021461187e64c3e51d48b0a9edde50d1f591c6 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2024-04-09 08:12:05 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2024-04-09 09:30:07 +0000 sci-mathematics/boolector: fix install on musl Closes: https://bugs.gentoo.org/928977 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/boolector/boolector-3.2.3.ebuild | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-)
