[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/why3-for-spark/

[Alfredo Tupone]

commit:     ddc4457e1404d8eafbb724d1fc77656f5c049d6e
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Feb  7 21:48:12 2022 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Feb  7 21:48:12 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ddc4457e

sci-mathematics/why3-for-spark: ignore CFLAGS

Closes: https://bugs.gentoo.org/799245
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 .../why3-for-spark/why3-for-spark-2021.ebuild      | 26 ++++++++++++----------
 1 file changed, 14 insertions(+), 12 deletions(-)

diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild
index 2e831ddd9739..fb9acf5c9a31 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild
@@ -49,23 +49,25 @@ PATCHES=(
 )
 
 QA_FLAGS_IGNORED=(
-	/usr/lib64/why3/commands/why3shell
-	/usr/lib64/why3/commands/why3extract
-	/usr/lib64/why3/commands/why3execute
-	/usr/lib64/why3/commands/why3prove
-	/usr/lib64/why3/commands/why3wc
-	/usr/lib64/why3/commands/why3doc
-	/usr/lib64/why3/commands/why3replay
-	/usr/lib64/why3/commands/why3webserver
+	/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/bin/why3
-	/usr/bin/why3config
-	/usr/bin/why3session
+	/usr/bin/why3config.cmxs
+	/usr/bin/why3session.cmxs
 	/usr/bin/gnat_server
 	/usr/bin/gnatwhy3
-	/usr/bin/why3realize
+	/usr/bin/why3realize.cmxs
 )
 
 REQUIRED_USE="html? ( doc )"
@@ -107,7 +109,7 @@ src_install() {
 	local cmdPath=/usr/$(get_libdir)/why3/commands
 	dosym ../why3server ${cmdPath}/why3server
 	# Remove duplicated files
-	for filename in config ide realize server session; do
+	for filename in config.cmxs ide.cmxs realize.cmxs server session.cmxs; do
 		if [[ -e "${D}"${cmdPath}/why3${filename} ]]; then
 			rm "${D}"${cmdPath}/why3${filename}
 			dosym ../../../bin/why3${filename} ${cmdPath}/why3${filename}