clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -c -o syms.o syms.c clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -c -o ground.o ground.c clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -c -o arithmetic.o arithmetic.c clang -pipe -march=native -fno-diagnostics-color -O2 -Werror=implicit-function-declaration -Werror=implicit-int -c -o select.o select.c select.c:236:44: error: parameter 'max_constrained' was not declared, defaults to 'int'; ISO C99 and later do not support implicit int [-Werror,-Wimplicit-int] ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1-j4-20220915-203738 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-12.2.0 * clang/llvm (if any): clang version 15.0.0 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/15/bin /usr/lib/llvm/15 15.0.0 Python 3.10.7 Available Ruby profiles: (none found) Available Rust versions: [1] rust-bin-1.63.0 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 11.0.16.1_p1 [openjdk-bin-11] *) Eclipse Temurin JDK 17.0.4.1_p1 [openjdk-bin-17] 3) Eclipse Temurin JDK 8.345_p01 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-11 [3] openjdk-bin-17 system-vm The Glorious Glasgow Haskell Compilation System, version 9.0.2 php cli (if any): [1] php8.1 * GNU Make 4.3.90 HEAD of ::gentoo commit 4737e48d935a07ae10cdeb0bcba4f17c85f93223 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Sun Sep 18 08:46:57 2022 +0000 2022-09-18 08:46:56 UTC emerge -qpvO sci-mathematics/prover9 [ebuild N ] sci-mathematics/prover9-2009.11a USE="-examples"
Created attachment 810850 [details] emerge-info.txt
Created attachment 810853 [details] emerge-history.txt
Created attachment 810856 [details] environment
Created attachment 810859 [details] etc.portage.tar.bz2
Created attachment 810862 [details] sci-mathematics:prover9-2009.11a:20220918-100958.log
Created attachment 810865 [details] temp.tar.bz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d739c66f105c508c0eff3ac4d8d287debc86ae0 commit 4d739c66f105c508c0eff3ac4d8d287debc86ae0 Author: NHOrus <jy6x2b32pie9@yahoo.com> AuthorDate: 2025-02-23 19:34:55 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2025-02-23 22:23:16 +0000 sci-mathematics/prover9: Port to C99, fix parallel build. Add ints to implicitly-declared function parameters that are actually ints Remove all the cleans that were scattered around makefiles. They are useful for development only and only hinder packaged build. Pipe CFLAG to last place it's needed to be used, for linking a library. Closes: https://bugs.gentoo.org/728030 Closes: https://bugs.gentoo.org/871261 Closes: https://bugs.gentoo.org/881475 Closes: https://bugs.gentoo.org/886597 Closes: https://bugs.gentoo.org/887409 Closes: https://bugs.gentoo.org/911554 Signed-off-by: NHOrus <jy6x2b32pie9@yahoo.com> Closes: https://github.com/gentoo/gentoo/pull/40720 Signed-off-by: Maciej Barć <xgqt@gentoo.org> .../prover9/files/LADR-2009-11A-c99.patch | 25 ++++++ .../files/LADR-2009-11A-stable-ordering.patch | 91 ++++++++++++++++++++++ ...09.11a-r1.ebuild => prover9-2009.11a-r2.ebuild} | 9 ++- 3 files changed, 121 insertions(+), 4 deletions(-)
