From ddc4457e1404d8eafbb724d1fc77656f5c049d6e Mon Sep 17 00:00:00 2001 From: Alfredo Tupone Date: Mon, 7 Feb 2022 22:48:12 +0100 Subject: 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 --- .../why3-for-spark/why3-for-spark-2021.ebuild | 26 ++++++++++++---------- 1 file changed, 14 insertions(+), 12 deletions(-) (limited to 'sci-mathematics/why3-for-spark') 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} -- cgit v1.2.3-65-gdbad