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

Reply via email to