diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2020-06-15 19:19:49 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2020-06-15 19:19:49 +0200 |
| commit | 0959f5c012916f832872f2d864fb06552e1d16d5 (patch) | |
| tree | 861947338b936a56db82c113c35362ab56246529 /sci-mathematics/why3-for-spark | |
| parent | dev-util/buildbot: remove unused patch (diff) | |
| download | gentoo-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>
Diffstat (limited to 'sci-mathematics/why3-for-spark')
| -rw-r--r-- | sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild | 6 |
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 |