too long lines were shrinked: cd /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/src && /usr/bin/x86_64-gentoo-linux-musl-g++ -DCVC4_STATISTICS_ON -DNDEBUG -D__BUILDING_CVC4LIB -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Dcvc4_EXPORTS -I/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build -I/var/tm [ 18%] Building CXX object src/CMakeFiles/cvc4.dir/prop/bvminisat/simp/SimpSolver.cc.o cd /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/src && /usr/bin/x86_64-gentoo-linux-musl-g++ -DCVC4_STATISTICS_ON -DNDEBUG -D__BUILDING_CVC4LIB -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Dcvc4_EXPORTS -I/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build -I/var/tm In file included from /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/CVC4-archived-1.8/src/prop/bvminisat/simp/SimpSolver.cc:28: /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/CVC4-archived-1.8/src/./prop/bvminisat/utils/System.h:25:10: fatal error: fpu_control.h: No such file or directory 25 | #include <fpu_control.h> | ^~~~~~~~~~~~~~~ ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.0_musl_hardened-j4-20220418-182735 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-gentoo-linux-musl-11.2.1 * clang/llvm (if any): clang version 14.0.1 Target: x86_64-gentoo-linux-musl Thread model: posix InstalledDir: /usr/lib/llvm/14/bin /usr/lib/llvm/14 14.0.1 Python 3.9.12 Available Ruby profiles: [1] ruby26 [2] ruby27 * Available Rust versions: [1] rust-1.60.0 * The following VMs are available for generation-2: *) Eclipse Temurin JDK 11.0.14_p9 [openjdk-bin-11] Available Java Virtual Machines: [1] openjdk-bin-11 system-vm php cli: HEAD of ::gentoo commit a959c3925ba96b60da23f586aa58c91c40460c51 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Tue Apr 19 07:24:13 2022 +0000 2022-04-19 07:24:09 UTC emerge -qpvO sci-mathematics/cvc4 [ebuild N ] sci-mathematics/cvc4-1.8-r1 USE="cln readline statistics -proofs"
Created attachment 771746 [details] emerge-info.txt
Created attachment 771749 [details] emerge-history.txt
Created attachment 771752 [details] environment
Created attachment 771755 [details] etc.portage.tar.bz2
Created attachment 771758 [details] logs.tar.bz2
Created attachment 771761 [details] sci-mathematics:cvc4-1.8-r1:20220419-082352.log.bz2
Created attachment 771764 [details] temp.tar.bz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c11cbec28dbd063e597839ed1603f9bea62d3e73 commit c11cbec28dbd063e597839ed1603f9bea62d3e73 Author: Alfredo Tupone <tupone@gentoo.org> AuthorDate: 2024-05-20 13:03:04 +0000 Commit: Alfredo Tupone <tupone@gentoo.org> CommitDate: 2024-05-20 13:03:54 +0000 sci-mathematics/cvc4: fix musl build Closes: https://bugs.gentoo.org/839402 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> sci-mathematics/cvc4/cvc4-1.8-r5.ebuild | 11 +++- sci-mathematics/cvc4/files/cvc4-1.8-musl.patch | 80 ++++++++++++++++++++++++++ 2 files changed, 89 insertions(+), 2 deletions(-)
