summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2020-06-15 19:19:49 +0200
committerAlfredo Tupone <tupone@gentoo.org>2020-06-15 19:19:49 +0200
commit0959f5c012916f832872f2d864fb06552e1d16d5 (patch)
tree861947338b936a56db82c113c35362ab56246529
parentdev-util/buildbot: remove unused patch (diff)
downloadgentoo-0959f5c012916f832872f2d864fb06552e1d16d5.tar.gz
gentoo-0959f5c012916f832872f2d864fb06552e1d16d5.tar.bz2
gentoo-0959f5c012916f832872f2d864fb06552e1d16d5.zip
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@gentoo.org>
-rw-r--r--sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild6
1 files 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 8f82a9c4bb89..7b658828da45 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