Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 871261

Summary: sci-mathematics/prover9-2009.11a - select.c: error: parameter max_constrained was not declared, defaults
Product: Gentoo Linux Reporter: Toralf Förster <toralf>
Component: Current packagesAssignee: Gentoo Science Mathematics related packages <sci-mathematics>
Status: CONFIRMED ---    
Severity: normal CC: sci-mathematics
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---
Bug Depends on:    
Bug Blocks: 870412    
Attachments: emerge-info.txt
emerge-history.txt
environment
etc.portage.tar.bz2
sci-mathematics:prover9-2009.11a:20220918-100958.log
temp.tar.bz2

Description Toralf Förster gentoo-dev 2022-09-18 10:21:46 UTC
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"
Comment 1 Toralf Förster gentoo-dev 2022-09-18 10:21:47 UTC
Created attachment 810850 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2022-09-18 10:21:49 UTC
Created attachment 810853 [details]
emerge-history.txt
Comment 3 Toralf Förster gentoo-dev 2022-09-18 10:21:50 UTC
Created attachment 810856 [details]
environment
Comment 4 Toralf Förster gentoo-dev 2022-09-18 10:21:51 UTC
Created attachment 810859 [details]
etc.portage.tar.bz2
Comment 5 Toralf Förster gentoo-dev 2022-09-18 10:21:52 UTC
Created attachment 810862 [details]
sci-mathematics:prover9-2009.11a:20220918-100958.log
Comment 6 Toralf Förster gentoo-dev 2022-09-18 10:21:53 UTC
Created attachment 810865 [details]
temp.tar.bz2