diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-02-07 22:48:12 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-02-07 22:48:12 +0100 |
| commit | ddc4457e1404d8eafbb724d1fc77656f5c049d6e (patch) | |
| tree | 8b52d57282063ab83ccda232230be3ad030f27a2 /sci-mathematics/why3-for-spark | |
| parent | media-libs/opusfile: Keyword 0.12 for ~m68k (diff) | |
| download | gentoo-ddc4457e1404d8eafbb724d1fc77656f5c049d6e.tar.gz gentoo-ddc4457e1404d8eafbb724d1fc77656f5c049d6e.tar.bz2 gentoo-ddc4457e1404d8eafbb724d1fc77656f5c049d6e.zip | |
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@gentoo.org>
Diffstat (limited to 'sci-mathematics/why3-for-spark')
| -rw-r--r-- | sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild | 26 |
1 files 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} |