from /usr/lib/gcc/x86_64-pc-linux-musl/14/include/g++-v14/ostream:40, from /usr/lib/gcc/x86_64-pc-linux-musl/14/include/g++-v14/iostream:41, from /var/tmp/portage/sci-mathematics/cvc4-1.8-r5/work/CVC4-archived-1.8/src/./options/set_language.h:22, from /var/tmp/portage/sci-mathematics/cvc4-1.8-r5/work/cvc4-1.8_build/src/parser/cvc/CvcParser.h:134, from /var/tmp/portage/sci-mathematics/cvc4-1.8-r5/work/cvc4-1.8_build/src/parser/cvc/CvcParser.c:61: /var/tmp/portage/sci-mathematics/cvc4-1.8-r5/work/cvc4-1.8_build/src/parser/cvc/CvcParser.c: In function 'void mainCommand(pCvcParser, std::unique_ptr<CVC4::Command>*)': /var/tmp/portage/sci-mathematics/cvc4-1.8-r5/work/cvc4-1.8_build/src/parser/cvc/CvcParser.c:4691:9: error: cannot convert 'std::nullptr_t' to 'unsigned int' in assignment 4691 | k = NULL; | ^~~~ ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 23.0_musl_hardened-20240608-075013 UNMASKED: >=sys-libs/ncurses-6.5 Issues involving opaque types / incomplete typedefs should block bug 930805 The attached etc.portage.tar.xz has all details. ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-musl-14 * clang/llvm (if any): clang version 18.1.7 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.7 Python 3.12.4 Available Ruby profiles: [1] ruby31 (with Rubygems) [2] ruby32 (with Rubygems) [3] ruby33 (with Rubygems) * Available Rust versions: [1] rust-bin-1.78.0 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 17.0.11_p9 [openjdk-bin-17] *) Eclipse Temurin JDK 21.0.3_p9 [openjdk-bin-21] Available Java Virtual Machines: [1] openjdk-bin-17 [2] openjdk-bin-21 system-vm php cli (if any): go version go1.22.3 linux/amd64 HEAD of ::gentoo commit 5fadcfa183779fbbb080eafbc014643c6475ce82 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Tue Jun 11 00:35:53 2024 +0000 2024-06-11 00:35:52 UTC emerge -qpvO sci-mathematics/cvc4 [ebuild N ] sci-mathematics/cvc4-1.8-r5 USE="cln proofs readline -statistics"
Created attachment 895570 [details] emerge-info.txt
Created attachment 895571 [details] emerge-history.txt
Created attachment 895572 [details] environment
Created attachment 895573 [details] etc.clang.tar.xz
Created attachment 895574 [details] etc.portage.tar.xz
Created attachment 895575 [details] qlist-info.txt.xz
Created attachment 895576 [details] sci-mathematics:cvc4-1.8-r5:20240611-012301.log.xz
Created attachment 895577 [details] temp.tar.xz
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ae12690844146728289a3d499fa104e40fea6a5e commit ae12690844146728289a3d499fa104e40fea6a5e Author: Alfredo Tupone <tupone@gentoo.org> AuthorDate: 2024-09-22 08:18:26 +0000 Commit: Alfredo Tupone <tupone@gentoo.org> CommitDate: 2024-09-22 08:19:13 +0000 sci-mathematics/cvc4: fix build on musl Closes: https://bugs.gentoo.org/934053 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> sci-mathematics/cvc4/cvc4-1.8-r5.ebuild | 11 +++++++++++ 1 file changed, 11 insertions(+)
