| Summary: | sci-mathematics/eprover-3.0.03 - picosat.c: fatal error: sys/unistd.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-mathematics |
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Attachments: |
emerge-info.txt
emerge-history.txt.bz2 environment etc.clang.tar.bz2 etc.portage.tar.bz2 sci-mathematics:eprover-3.0_pre008:20230104-052242.log temp.tar.bz2 |
||
Created attachment 847144 [details]
emerge-info.txt
Created attachment 847146 [details]
emerge-history.txt.bz2
Created attachment 847148 [details]
environment
Created attachment 847150 [details]
etc.clang.tar.bz2
Created attachment 847152 [details]
etc.portage.tar.bz2
Created attachment 847154 [details]
sci-mathematics:eprover-3.0_pre008:20230104-052242.log
Created attachment 847156 [details]
temp.tar.bz2
tinderbox_musl has reproduced this issue with version 3.0.03 - Updating summary. The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=54392f0b0b647c60400cb91b124a103162bf2f2b commit 54392f0b0b647c60400cb91b124a103162bf2f2b Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2024-02-19 20:34:06 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2024-02-19 20:54:33 +0000 sci-mathematics/eprover: fix build on musl Closes: https://bugs.gentoo.org/889682 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/eprover/eprover-3.0.03.ebuild | 2 ++ sci-mathematics/eprover/files/eprover-3.0.03-unistd.patch | 11 +++++++++++ 2 files changed, 13 insertions(+) |
too long lines were shrinked: rm -f config.h; ./mkconfig.sh > config.h gcc -pipe -march=native -fno-diagnostics-color -O2 -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -DENABLE_LFHO -std=gnu99 -I../include -c picosat.c gcc -pipe -march=native -fno-diagnostics-color -O2 -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -DENABLE_LFHO -std=gnu99 -I../include -c picomcs.c gcc -pipe -march=native -fno-diagnostics-color -O2 -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -DENABLE_LFHO -std=gnu99 -I../include -c main.c gcc -pipe -march=native -fno-diagnostics-color -O2 -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -DENABLE_LFHO -std=gnu99 -I../include -c app.c gcc -pipe -march=native -fno-diagnostics-color -O2 -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -DENABLE_LFHO -std=gnu99 -I../include -c picogcnf.c 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-20221229-143533 ------------------------------------------------------------------- GNUMAKEFLAGS="$GNUMAKEFLAGS --shuffle" gcc-config -l: [1] x86_64-gentoo-linux-musl-12.2.0 * clang/llvm (if any): clang version 15.0.6 Target: x86_64-gentoo-linux-musl Thread model: posix InstalledDir: /usr/lib/llvm/15/bin Configuration file: /etc/clang/clang.cfg /usr/lib/llvm/15 15.0.6 Python 3.10.9 Available Ruby profiles: [1] ruby27 (with Rubygems) [2] ruby31 (with Rubygems) * Available Rust versions: [1] rust-bin-1.66.0 [2] rust-1.66.0 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 11.0.17_p8 [openjdk-bin-11] *) Eclipse Temurin JDK 17.0.5_p8 [openjdk-bin-17] Available Java Virtual Machines: [1] openjdk-bin-11 [2] openjdk-bin-17 system-vm php cli (if any): [1] php7.4 [2] php8.0 [3] php8.2 * HEAD of ::gentoo commit ebfc309fabf087cd88653e511a976f6147c02819 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Wed Jan 4 05:02:09 2023 +0000 2023-01-04 05:02:09 UTC emerge -qpvO sci-mathematics/eprover [ebuild N ] sci-mathematics/eprover-3.0_pre008 USE="ho"