Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 832519 - sci-mathematics/minisat-2.2.1-r1 - /.../System.h: fatal error: fpu_control.h: No such file or directory
Summary: sci-mathematics/minisat-2.2.1-r1 - /.../System.h: fatal error: fpu_control.h:...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo musl team
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2022-02-01 19:29 UTC by Toralf Förster
Modified: 2023-02-06 17:23 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
emerge-info.txt (emerge-info.txt,16.02 KB, text/plain)
2022-02-01 19:29 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,86.78 KB, text/plain)
2022-02-01 19:29 UTC, Toralf Förster
Details
environment (environment,88.40 KB, text/plain)
2022-02-01 19:29 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,8.65 KB, application/x-bzip)
2022-02-01 19:29 UTC, Toralf Förster
Details
logs.tar.bz2 (logs.tar.bz2,4.69 KB, application/x-bzip)
2022-02-01 19:29 UTC, Toralf Förster
Details
sci-mathematics:minisat-2.2.1-r1:20220201-183848.log (sci-mathematics:minisat-2.2.1-r1:20220201-183848.log,10.90 KB, text/plain)
2022-02-01 19:29 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,22.68 KB, application/x-bzip)
2022-02-01 19:29 UTC, Toralf Förster
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2022-02-01 19:29:17 UTC
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"
Comment 1 Toralf Förster gentoo-dev 2022-02-01 19:29:18 UTC
Created attachment 764143 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2022-02-01 19:29:19 UTC
Created attachment 764144 [details]
emerge-history.txt
Comment 3 Toralf Förster gentoo-dev 2022-02-01 19:29:21 UTC
Created attachment 764145 [details]
environment
Comment 4 Toralf Förster gentoo-dev 2022-02-01 19:29:21 UTC
Created attachment 764146 [details]
etc.portage.tar.bz2
Comment 5 Toralf Förster gentoo-dev 2022-02-01 19:29:22 UTC
Created attachment 764147 [details]
logs.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2022-02-01 19:29:23 UTC
Created attachment 764148 [details]
sci-mathematics:minisat-2.2.1-r1:20220201-183848.log
Comment 7 Toralf Förster gentoo-dev 2022-02-01 19:29:24 UTC
Created attachment 764149 [details]
temp.tar.bz2
Comment 8 Larry the Git Cow gentoo-dev 2023-02-06 17:23:22 UTC
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(-)