diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-06-27 08:19:33 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-06-27 08:19:33 +0200 |
| commit | 641255d69acd7ef55105d2032ffb42d889ed5902 (patch) | |
| tree | 2fe56ca63c6c3f99d43868f9824674411792ff4b /sci-mathematics | |
| parent | x11-terms/gnome-terminal: fix missing define (diff) | |
| download | gentoo-641255d69acd7ef55105d2032ffb42d889ed5902.tar.gz gentoo-641255d69acd7ef55105d2032ffb42d889ed5902.tar.bz2 gentoo-641255d69acd7ef55105d2032ffb42d889ed5902.zip | |
sci-mathematics/why3-for-spark: ignore some QA warnings
Closes: https://bugs.gentoo.org/837278
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild | 16 |
1 files changed, 3 insertions, 13 deletions
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild index 986e7bf497fd..13fef502cfe3 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild @@ -56,19 +56,9 @@ PATCHES=( ) QA_FLAGS_IGNORED=( - /usr/lib64/why3/commands/why3shell.cmxs - /usr/lib64/why3/commands/why3extract.cmxs - /usr/lib64/why3/commands/why3execute.cmxs - /usr/lib64/why3/commands/why3prove.cmxs - /usr/lib64/why3/commands/why3wc.cmxs - /usr/lib64/why3/commands/why3doc.cmxs - /usr/lib64/why3/commands/why3replay.cmxs - /usr/lib64/why3/commands/why3webserver.cmxs - /usr/lib64/why3/commands/why3pp.cmxs - /usr/lib64/why3/commands/why3show.cmxs - /usr/lib64/why3/plugins/'.*'.cmxs - /usr/lib64/ocaml/why3/why3.cmxs - /usr/lib64/ocaml/why3/why3extract.cmxs + '/usr/lib*/why3/commands/*.cmxs' + '/usr/lib*/why3/plugins/*.cmxs' + '/usr/lib*/ocaml/why3/why3*.cmxs' /usr/bin/why3 /usr/bin/why3config.cmxs /usr/bin/why3session.cmxs |