Bug 839402 – sci-mathematics/cvc4-1.8-r1 - /.../System.h: fatal error: fpu_control.h: No such file or directory

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Toralf Förster 2022-04-19 08:27:54 UTC]

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

[Comment 1 Toralf Förster 2022-04-19 08:27:56 UTC]

Created attachment 771746 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2022-04-19 08:27:57 UTC]

Created attachment 771749 [details]
emerge-history.txt

[Comment 3 Toralf Förster 2022-04-19 08:27:58 UTC]

Created attachment 771752 [details]
environment

[Comment 4 Toralf Förster 2022-04-19 08:28:00 UTC]

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

[Comment 5 Toralf Förster 2022-04-19 08:28:01 UTC]

Created attachment 771758 [details]
logs.tar.bz2

[Comment 6 Toralf Förster 2022-04-19 08:28:02 UTC]

Created attachment 771761 [details]
sci-mathematics:cvc4-1.8-r1:20220419-082352.log.bz2

[Comment 7 Toralf Förster 2022-04-19 08:28:03 UTC]

Created attachment 771764 [details]
temp.tar.bz2