gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/why3-for-spark: refix QA_FLAGS

Browse Source 
Closes: https://bugs.gentoo.org/854555
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
Alfredo Tupone
2022-06-27 10:47:05 +02:00
parent bf966ef79c
commit 57ec03f6bd
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
View File

@@ -56,9 +56,9 @@ PATCHES=(
)
QA_FLAGS_IGNORED=(
'/usr/lib*/why3/commands/*.cmxs'
'/usr/lib*/why3/plugins/*.cmxs'
'/usr/lib*/ocaml/why3/why3*.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