Bug 895118 – sci-mathematics/cryptominisat-5.11.21 - /.../picosat.c: fatal error: sys/unistd.h: No such file or directory

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Toralf Förster 2023-02-17 12:52:58 UTC]

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

[Comment 1 Toralf Förster 2023-02-17 12:52:59 UTC]

Created attachment 852208 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2023-02-17 12:53:00 UTC]

Created attachment 852210 [details]
emerge-history.txt.bz2

[Comment 3 Toralf Förster 2023-02-17 12:53:01 UTC]

Created attachment 852212 [details]
environment

[Comment 4 Toralf Förster 2023-02-17 12:53:03 UTC]

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

[Comment 5 Toralf Förster 2023-02-17 12:53:03 UTC]

Created attachment 852216 [details]
logs.tar.bz2

[Comment 6 Toralf Förster 2023-02-17 12:53:05 UTC]

Created attachment 852218 [details]
sci-mathematics:cryptominisat-5.11.4:20230217-113309.log

[Comment 7 Toralf Förster 2023-02-17 12:53:06 UTC]

Created attachment 852220 [details]
temp.tar.bz2

[Comment 8 Agostino Sarubbo 2024-02-19 08:47:11 UTC]

tinderbox_musl has reproduced this issue with version 5.11.21 - Updating summary.