diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-04-11 14:03:01 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-04-11 16:17:01 +0200 |
| commit | 23ddd3215b20cec819a0edda598720c81dc8aa4b (patch) | |
| tree | 03e1718cd61705794e3721f27197bcd45ef497bb /sci-mathematics | |
| parent | sci-mathematics/flocq: ignore CFLAGS for ML/Coq code (diff) | |
| download | gentoo-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')
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='.*' |