Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 886597 - sci-mathematics/prover9-2009.11a fails to compile (CLANG-STRICTER-SYSTEM): 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]
Summary: sci-mathematics/prover9-2009.11a fails to compile (CLANG-STRICTER-SYSTEM): se...
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Mark Wright
Depends on:
Blocks: clang-16-porting
  Show dependency tree
Reported: 2022-12-18 10:10 UTC by Agostino Sarubbo
Modified: 2022-12-18 10:10 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---

build.log (build.log,118.25 KB, text/plain)
2022-12-18 10:10 UTC, Agostino Sarubbo

Note You need to log in before you can comment on or make changes to this bug.
Description Agostino Sarubbo gentoo-dev 2022-12-18 10:10:40 UTC

Issue: sci-mathematics/prover9-2009.11a fails to compile (CLANG-STRICTER-SYSTEM).
Discovered on: amd64 (internal ref: clang-stricter_tinderbox)

(CLANG-STRICTER-SYSTEM) in the summary means that the bug was found on a machine that runs clang with stricter mode

This machine uses clang with CFLAGS/CXXFLAGS=-Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types

See also:
Comment 1 Agostino Sarubbo gentoo-dev 2022-12-18 10:10:42 UTC
Created attachment 843351 [details]

build log and emerge --info