gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/flocq: ignore CFLAGS for ML/Coq code

Browse Source 
Closes: https://bugs.gentoo.org/904156
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć
2023-04-11 14:02:16 +02:00
parent aed9274e5e
commit 66e46e9f80
2 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
sci-mathematics/flocq/flocq-4.1.0-r1.ebuild
View File

@@ -20,6 +20,9 @@ RDEPEND="
"
DEPEND="${RDEPEND}"
# Do not complain about CFLAGS etc since ML projects do not use them.
QA_FLAGS_IGNORED='.*'
src_compile() {
./remake --jobs=$(makeopts_jobs) || die
}

3
sci-mathematics/flocq/flocq-4.1.1.ebuild
View File

@@ -20,6 +20,9 @@ RDEPEND="
"
DEPEND="${RDEPEND}"
# Do not complain about CFLAGS etc since ML projects do not use them.
QA_FLAGS_IGNORED='.*'
src_compile() {
./remake --jobs=$(makeopts_jobs) || die
}