| Summary: | sci-mathematics/minisat-2.2.1-r1 - /.../System.h: fatal error: fpu_control.h: No such file or directory | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
| Component: | Current packages | Assignee: | Gentoo musl team <musl> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | CC: | sci |
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Attachments: |
emerge-info.txt
emerge-history.txt environment etc.portage.tar.bz2 logs.tar.bz2 sci-mathematics:minisat-2.2.1-r1:20220201-183848.log temp.tar.bz2 |
||
Created attachment 764143 [details]
emerge-info.txt
Created attachment 764144 [details]
emerge-history.txt
Created attachment 764145 [details]
environment
Created attachment 764146 [details]
etc.portage.tar.bz2
Created attachment 764147 [details]
logs.tar.bz2
Created attachment 764148 [details]
sci-mathematics:minisat-2.2.1-r1:20220201-183848.log
Created attachment 764149 [details]
temp.tar.bz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=58bf1623e2f1be955a04a7b5adbbb03b79459fbd commit 58bf1623e2f1be955a04a7b5adbbb03b79459fbd Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2023-02-06 16:14:41 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2023-02-06 17:23:18 +0000 sci-mathematics/minisat: fix build on musl Bug: https://github.com/stp/minisat/pull/6 Closes: https://bugs.gentoo.org/832519 Signed-off-by: Maciej Barć <xgqt@gentoo.org> .../minisat/files/minisat-2.2.1-musl.patch | 41 ++++++++++++++++++++++ sci-mathematics/minisat/minisat-2.2.1-r1.ebuild | 13 ++++--- 2 files changed, 50 insertions(+), 4 deletions(-) |
too long lines were shrinked: [1/10] /usr/bin/x86_64-gentoo-linux-musl-g++ -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/var/tmp/portage/sci-mathematics/minisat-2.2.1-r1/work/minisat-releases-2.2.1 -pipe -march=native -fno-diagnostics-color -O2 -falign-functions=32:25:16 -MD -MT CMakeFiles/minisat_simp.dir/minisat/simp/Main.c FAILED: CMakeFiles/minisat_simp.dir/minisat/simp/Main.cc.o /usr/bin/x86_64-gentoo-linux-musl-g++ -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/var/tmp/portage/sci-mathematics/minisat-2.2.1-r1/work/minisat-releases-2.2.1 -pipe -march=native -fno-diagnostics-color -O2 -falign-functions=32:25:16 -MD -MT CMakeFiles/minisat_simp.dir/minisat/simp/Main.cc.o -MF In file included from /var/tmp/portage/sci-mathematics/minisat-2.2.1-r1/work/minisat-releases-2.2.1/minisat/simp/Main.cc:24: /var/tmp/portage/sci-mathematics/minisat-2.2.1-r1/work/minisat-releases-2.2.1/minisat/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-j4-20220201-020013 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-gentoo-linux-musl-11.2.1 * clang/llvm (if any): clang version 13.0.0 Target: x86_64-gentoo-linux-musl Thread model: posix InstalledDir: /usr/lib/llvm/13/bin /usr/lib/llvm/13 13.0.0 Python 3.9.10 Available Ruby profiles: [1] ruby26 (with Rubygems) [2] ruby27 (with Rubygems) [3] ruby30 (with Rubygems) * Available Rust versions: [1] rust-1.58.1 * php cli: HEAD of ::gentoo commit fc79bc5477ff127142ec17ff68f94f13e96af874 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Tue Feb 1 17:07:08 2022 +0000 2022-02-01 17:07:06 UTC emerge -qpvO sci-mathematics/minisat [ebuild N ] sci-mathematics/minisat-2.2.1-r1 USE="-doc"