https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: sci-mathematics/coq-mathcomp-1.16.0-r1 does not respect CFLAGS. Discovered on: amd64 (internal ref: ci) NOTE: To reproduce this issue you may want to add "-frecord-gcc-switches" to CFLAGS/CXXFLAGS/FFLAGS/FCFLAGS. If this is not something about c/c++ context see this bug as an hint to hide the QA warning (with QA_FLAGS_IGNORED) where is not possible to respect CFLAGS.
Created attachment 859847 [details] build.log build log and emerge --info
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=23ddd3215b20cec819a0edda598720c81dc8aa4b commit 23ddd3215b20cec819a0edda598720c81dc8aa4b Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2023-04-11 12:03:01 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2023-04-11 14:17:01 +0000 sci-mathematics/coq-mathcomp: ignore CFLAGS for ML/Coq code Closes: https://bugs.gentoo.org/904155 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild | 3 +++ sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild | 3 +++ sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild | 3 +++ 3 files changed, 9 insertions(+)
