180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars)) | ^ /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/picosat/picosat.c:1943:11: note: in expansion of macro 'VAR2LIT' 1943 | assert (VAR2LIT (v) != UNDEF); | ^~~~~~~ /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/picosat/picosat.c: At top level: /var/tmp/portage/sci-mathematics/cryptominisat-5.11.4/work/cryptominisat-5.11.4/src/picosat/picosat.c:8150:10: fatal error: sys/unistd.h: No such file or directory 8150 | #include <sys/unistd.h> | ^~~~~~~~~~~~~~ ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.0_musl-j4-20230214-161236 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-gentoo-linux-musl-12 * clang/llvm (if any): Python 3.10.10 Available Ruby profiles: [1] ruby27 (with Rubygems) [2] ruby30 (with Rubygems) * Available Rust versions: [1] rust-1.67.1 * php cli (if any): HEAD of ::gentoo commit 3c9b4337e2abbc66724c8483060dc4b4a6ca11bb Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Fri Feb 17 10:46:58 2023 +0000 2023-02-17 10:46:58 UTC emerge -qpvO sci-mathematics/cryptominisat [ebuild N ] sci-mathematics/cryptominisat-5.11.4
Created attachment 852208 [details] emerge-info.txt
Created attachment 852210 [details] emerge-history.txt.bz2
Created attachment 852212 [details] environment
Created attachment 852214 [details] etc.portage.tar.bz2
Created attachment 852216 [details] logs.tar.bz2
Created attachment 852218 [details] sci-mathematics:cryptominisat-5.11.4:20230217-113309.log
Created attachment 852220 [details] temp.tar.bz2
tinderbox_musl has reproduced this issue with version 5.11.21 - Updating summary.
should be <unistd.h>, I've submitted a PR upstream
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=292ba8f849c4bfff03e68225287e22cea8f621a5 commit 292ba8f849c4bfff03e68225287e22cea8f621a5 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2024-06-12 22:45:25 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2024-06-12 23:40:24 +0000 sci-mathematics/cryptominisat: patch unistd include Closes: https://bugs.gentoo.org/895118 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/cryptominisat/cryptominisat-5.11.21.ebuild | 4 ++++ .../cryptominisat/files/cryptominisat-5.11.21-unistd.patch | 12 ++++++++++++ 2 files changed, 16 insertions(+)
