Bug 904155

Summary:	sci-mathematics/coq-mathcomp-1.16.0-r1 does not respect CFLAGS
Product:	Gentoo Linux	Reporter:	Agostino Sarubbo <ago>
Component:	Current packages	Assignee:	Gentoo Science Mathematics related packages <sci-mathematics>
Status:	RESOLVED FIXED
Severity:	normal	CC:	esigra
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Bug Depends on:
Bug Blocks:	59506
Attachments:	build.log

Description Agostino Sarubbo gentoo-dev

2023-04-11 08:12:49 UTC

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.

Comment 1 Agostino Sarubbo gentoo-dev

2023-04-11 08:12:51 UTC

Created attachment 859847 [details]
build.log

build log and emerge --info

Comment 2 Larry the Git Cow gentoo-dev

2023-04-11 14:18:22 UTC

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(+)