summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics')
-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='.*'