Bug 904156

Summary:	sci-mathematics/flocq-4.1.1 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:53 UTC

https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/

Issue: sci-mathematics/flocq-4.1.1 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:55 UTC

Created attachment 859848 [details]
build.log

build log and emerge --info

Comment 2 Larry the Git Cow gentoo-dev

2023-04-11 14:18:23 UTC

The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=66e46e9f808925425d9ba22f89d0794ce3fafa87

commit 66e46e9f808925425d9ba22f89d0794ce3fafa87
Author:     Maciej Barć <xgqt@gentoo.org>
AuthorDate: 2023-04-11 12:02:16 +0000
Commit:     Maciej Barć <xgqt@gentoo.org>
CommitDate: 2023-04-11 14:17:01 +0000

    sci-mathematics/flocq: ignore CFLAGS for ML/Coq code
    
    Closes: https://bugs.gentoo.org/904156
    Signed-off-by: Maciej Barć <xgqt@gentoo.org>

 sci-mathematics/flocq/flocq-4.1.0-r1.ebuild | 3 +++
 sci-mathematics/flocq/flocq-4.1.1.ebuild    | 3 +++
 2 files changed, 6 insertions(+)