c++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O2 -pipe -march=native -fno-common -falign-functions=32:25:16 -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925/minisat -fpic -O2 -pipe -march=native -fno-common -falign-functions=32:25:16 -c -o build/release/minisat/simp/Main.o minisat/simp/Main.cc -MMD -MF build/release/minisat/simp/Main.d In file included from minisat/simp/Main.cc:24: ./minisat/utils/System.h:25:10: fatal error: fpu_control.h: No such file or directory 25 | #include <fpu_control.h> | ^~~~~~~~~~~~~~~ compilation terminated. ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.0_musl-20200316-165821 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-gentoo-linux-musl-9.3.0 * clang version 10.0.0 Target: x86_64-gentoo-linux-musl Thread model: posix InstalledDir: /usr/lib/llvm/10/bin /usr/lib/llvm/10 10.0.0 Available Python interpreters, in order of preference: [1] python3.8 [2] python3.7 [3] python3.6 [4] python2.7 (fallback) Available Ruby profiles: [1] ruby24 (with Rubygems) [2] ruby25 (with Rubygems) * Available Rust versions: [1] rust-1.41.1 * repository: ==> /var/db/repos/gentoo/metadata/timestamp.chk <== Wed, 18 Mar 2020 13:38:27 +0000 emerge -qpvO sci-mathematics/minisat [ebuild N ] sci-mathematics/minisat-2.2.0_p20130925-r1 USE="-debug -doc"
Created attachment 622438 [details] emerge-info.txt
Created attachment 622440 [details] emerge-history.txt
Created attachment 622442 [details] environment
Created attachment 622444 [details] etc.portage.tbz2
Created attachment 622446 [details] sci-mathematics:minisat-2.2.0_p20130925-r1:20200319-051928.log
Created attachment 622448 [details] temp.tbz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=403dbc431f544038e9c5d44e563194f0bf395c02 commit 403dbc431f544038e9c5d44e563194f0bf395c02 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2022-01-17 18:00:34 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2022-01-17 18:06:01 +0000 sci-mathematics/minisat: drop old 2.2.0_p20130925 version Closes: https://bugs.gentoo.org/741598 Closes: https://bugs.gentoo.org/713420 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/minisat/Manifest | 1 - .../files/minisat-2.2.0_p20130925-nusmv.patch | 527 --------------------- .../minisat/minisat-2.2.0_p20130925-r1.ebuild | 57 --- 3 files changed, 585 deletions(-)
