diff options
Diffstat (limited to 'sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild')
-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..fd2397eb1b04 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/.*cmxs' /usr/bin/why3 /usr/bin/why3config.cmxs /usr/bin/why3session.cmxs |