summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2023-04-11 14:03:01 +0200
committerMaciej Barć <xgqt@gentoo.org>2023-04-11 16:17:01 +0200
commit23ddd3215b20cec819a0edda598720c81dc8aa4b (patch)
tree03e1718cd61705794e3721f27197bcd45ef497bb /sci-mathematics/coq-mathcomp
parentsci-mathematics/flocq: ignore CFLAGS for ML/Coq code (diff)
downloadgentoo-23ddd3215b20cec819a0edda598720c81dc8aa4b.tar.gz
gentoo-23ddd3215b20cec819a0edda598720c81dc8aa4b.tar.bz2
gentoo-23ddd3215b20cec819a0edda598720c81dc8aa4b.zip
sci-mathematics/coq-mathcomp: ignore CFLAGS for ML/Coq code
Closes: https://bugs.gentoo.org/904155 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq-mathcomp')
-rw-r--r--sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild3
-rw-r--r--sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild3
-rw-r--r--sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild3
3 files changed, 9 insertions, 0 deletions
diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild
index 169688aba6cc..19ef924f2ac9 100644
--- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild
+++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild
@@ -19,6 +19,9 @@ RDEPEND="
"
DEPEND="${RDEPEND}"
+# Do not complain about CFLAGS etc since ML projects do not use them.
+QA_FLAGS_IGNORED='.*'
+
# > make jobserver unavailable
src_compile() {
emake -j1
diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild
index fec89b781e85..bb3f88518455 100644
--- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild
+++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild
@@ -18,3 +18,6 @@ RDEPEND="
>=sci-mathematics/coq-8.16.0:=
"
DEPEND="${RDEPEND}"
+
+# Do not complain about CFLAGS etc since ML projects do not use them.
+QA_FLAGS_IGNORED='.*'
diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild
index 7ccb37804477..f90ad15beb45 100644
--- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild
+++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild
@@ -20,3 +20,6 @@ RDEPEND="
dev-lang/ocaml:=
"
DEPEND="${RDEPEND}"
+
+# Do not complain about CFLAGS etc since ML projects do not use them.
+QA_FLAGS_IGNORED='.*'