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

["Alfredo Tupone" <tupone@gentoo.org>]

commit:     0959f5c012916f832872f2d864fb06552e1d16d5
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Jun 15 17:19:49 2020 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Jun 15 17:19:49 2020 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0959f5c0

sci-mathematics/why3-for-spark: fix broken links

Closes: https://bugs.gentoo.org/728334
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild
index 8f82a9c4bb8..7b658828da4 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild
@@ -100,8 +100,10 @@ src_install() {
 	dosym ../why3server ${cmdPath}/why3server
 	# Remove duplicated files
 	for filename in config ide realize server session; do
-		rm "${D}"${cmdPath}/why3${filename}
-		dosym ../../../bin/why3${filename} ${cmdPath}/why3${filename}
+		if [[ -e "${D}"${cmdPath}/why3${filename} ]]; then
+			rm "${D}"${cmdPath}/why3${filename}
+			dosym ../../../bin/why3${filename} ${cmdPath}/why3${filename}
+		fi
 	done
 	rm "${D}"/usr/$(get_libdir)/why3/why3cpulimit
 	dosym ../../bin/why3cpulimit /usr/$(get_libdir)/why3/why3cpulimit