echo 'theory option.'"$f"' meta "realized_theory" "option.'"$f"'", "" end'; done; \ for f in Pow2int; do \ echo 'theory bv.'"$f"' meta "realized_theory" "bv.'"$f"'", "" end'; done; \ ) > drivers/isabelle-realizations.aux x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -o src/server/cpulimit-unix.o -c src/server/cpulimit-unix.c src/server/cpulimit-unix.c: In function main: src/server/cpulimit-unix.c:95:23: error: assignment to __sighandler_t {aka void (*)(int)} from incompatible pointer type void (*)(void) [-Wincompatible-pointer-types] 95 | sa.sa_handler = &wallclock_timelimit_reached; | ^ ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 23.0_desktop_plasma-20241113-211502 UNMASKED: <sys-devel/gcc-15.0.9999:15 The attached etc.portage.tar.xz has all details. ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-15 * clang version 19.1.4 llvm-config: 19.1.4 Python 3.12.7 go version go1.23.3 linux/amd64 Available Ruby profiles: [1] ruby32 (with Rubygems) * Available Rust versions: [1] rust-bin-1.81.0 [2] rust-bin-1.82.0 [3] rust-1.82.0 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 17.0.13_p11 [openjdk-bin-17] *) Eclipse Temurin JDK 21.0.5_p11 [openjdk-bin-21] 3) Eclipse Temurin JDK 8.432_p06 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-17 [3] openjdk-bin-21 system-vm HEAD of ::gentoo commit 170284ae69014f87220739a8917182f0d0f983b7 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Wed Nov 20 08:18:48 2024 +0000 2024-11-20 08:18:48 UTC emerge -qpvO =sci-mathematics/why3-1.7.2 [ebuild U ] sci-mathematics/why3-1.7.2 [1.6.0] USE="gtk ocamlopt zarith -coq -doc -emacs -re -sexp -stackify -zip"
Created attachment 910769 [details] emerge-info.txt
Created attachment 910770 [details] emerge-history.txt
Created attachment 910771 [details] environment
Created attachment 910772 [details] etc.clang.tar.xz
Created attachment 910773 [details] etc.portage.tar.xz
Created attachment 910774 [details] logs.tar.xz
Created attachment 910775 [details] qlist-info.txt.xz
Created attachment 910776 [details] sci-mathematics:why3-1.7.2:20241120-132900.log
Created attachment 910777 [details] temp.tar.xz
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4a95491d669ef0a95bc8a8c705aea5149e2f0148 commit 4a95491d669ef0a95bc8a8c705aea5149e2f0148 Author: Alfredo Tupone <tupone@gentoo.org> AuthorDate: 2024-11-20 21:44:46 +0000 Commit: Alfredo Tupone <tupone@gentoo.org> CommitDate: 2024-11-20 21:45:10 +0000 sci-mathematics/why3: Fix sa_handler signature Closes: https://bugs.gentoo.org/944186 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> sci-mathematics/why3/files/why3-1.7.2-signum.patch | 11 +++++++++++ sci-mathematics/why3/why3-1.7.2.ebuild | 2 ++ 2 files changed, 13 insertions(+)
