gentoo resync : 21.06.2020

12 files changed, 183 insertions, 17 deletions

diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index bfc09a44cd42..7bacb024444c 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
diff --git a/sci-mathematics/arb/Manifest b/sci-mathematics/arb/Manifest
index 2634c88d00c1..b0c9fc266e3e 100644
--- a/sci-mathematics/arb/Manifest
+++ b/sci-mathematics/arb/Manifest
@@ -1,3 +1,7 @@
+AUX arb-2.18.0-build_type.patch 866 BLAKE2B c127152e03d8dd532558a7dc95e4dd2cc1079073d8c30095feea6fa11a65ced564b94dbe3f2c3295fe47a010982a95b2e4408101ad078017d296f9c796f33ddd SHA512 b38728b103b55b19da1f92f9db8bfae74f275d54f83f3409e18503f199467e48fb74bdfb3716c28c01201dd19e8d78d20036671f99cdb63738f33416dc8eb7a2
+AUX arb-2.18.0-multilib-strict.patch 590 BLAKE2B 7f438139ff5f0a19db074ea3bfab064da968424520bc81af242b58675657a7cacce0921076cb5525e00e2d6c33f2b75ed898ffdba7ce730855b09f2b7f8863a1 SHA512 ec9de9a642dd4cb859460132ed597474df4eb2b3f28cdf3ebcb5109fedc2866eda91b0d301149d94f71dd67c105a1dda3d0aed94dcfe34c9ff9fc4083ee6817c
 DIST arb-2.17.0.tar.gz 1589083 BLAKE2B 68d5b04dca24129ceaec4e05124e35b474157cf1efbb6505121a03058e014cd4eb67b99497dbbafcf62e9e31f9d11c92f749f6e047e6b1513b6c0cc5ef8f22da SHA512 201e0cebbd1c4857d194e5531c76c6e45a478cf6965b836818919adf0fc04f0fe25e16ecd49c62a438876b67f009b872c4f3c774fe35620be0b22c5e08bdb824
+DIST arb-2.18.0.tar.gz 1595610 BLAKE2B be6a7e1a306f91b70383110e1ef6ead1ebd39f7d408c7a2e3031ca4b6fd788133607779d8f8edb3de1f00abe8ac5f21e07f951caecb4d56ada0517af71265d05 SHA512 3db0b2af4fe63fbc505d9b0e1940165f8bb62eec99d83569a1d959144f33b99141afd6c402d10b24407f9fce1853017a4802850f57fca181cf2f58605395fc31
 EBUILD arb-2.17.0.ebuild 2035 BLAKE2B 1866ef62a25faaa1dbfe24423c0cc135b61c7297c18d8ac38aa58f30f26a692cf32e1bd63153dfda66f3be27b39eb1186c684b86d7b9e9ca4d8d1c20be03c764 SHA512 a364ab870eda7e5cdedad53d80be7ad80cfeaeea93935b3637bba6d81fb59bd55c2960a3e605a0d58bb8a7e262357ab8825a60acf1bd8c1a56536431a74c5a7c
+EBUILD arb-2.18.0.ebuild 790 BLAKE2B 5e2101ab5002f49381de85535de0b1449909d11e27c2bde71280839e9b9c6f927ef5feb4401ca9de8e98f8e4d11a09ecb8e292b0055e5b10f326cc27abeb44b7 SHA512 6792a29a1b0b7aae2fc83f8bf666ebc82c770a9e0ab029fc2dc9543ed71f2cdf9cb951afd931e67707ec52c17602b9b21dbd71b0c0f4462fa5751882a9d28ff7
 MISC metadata.xml 1077 BLAKE2B d21ef7ffc1b41b7b52d7d8caf246b0109be10d06b7bb4d660c9ae0f750d748cac37cd289df3282cbca9f2658e8fb5f6674c170ea6bfd511edb71a3f0da88bc86 SHA512 cc6a2aed7acd718af2aa1612b1b454a2e699da97a33cb9ba9ca747e3782d9439bb0ff96c25e9023776777a5ee20d2c208c7f98dc73c787a16bfca58e9a10e1ee
diff --git a/sci-mathematics/arb/arb-2.18.0.ebuild b/sci-mathematics/arb/arb-2.18.0.ebuild
new file mode 100644
index 000000000000..691185c1d346
--- /dev/null
+++ b/sci-mathematics/arb/arb-2.18.0.ebuild
@@ -0,0 +1,37 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit cmake-utils
+
+DESCRIPTION="C library for arbitrary-precision interval arithmetic"
+HOMEPAGE="https://fredrikj.net/arb/"
+SRC_URI="https://github.com/fredrik-johansson/arb/archive/${PV}.tar.gz -> ${P}.tar.gz"
+IUSE="test"
+
+RESTRICT="!test? ( test )"
+
+LICENSE="GPL-2+"
+SLOT="0/2"
+KEYWORDS="~amd64 ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos ~x86-macos"
+
+RDEPEND="
+	dev-libs/gmp:0=
+	dev-libs/mpfr:0=
+	>=sci-mathematics/flint-2.5.0:="
+
+DEPEND="${RDEPEND}"
+
+PATCHES=(
+	"${FILESDIR}"/${PN}-2.18.0-multilib-strict.patch
+	"${FILESDIR}"/${PN}-2.18.0-build_type.patch
+)
+
+src_configure() {
+	local mycmakeargs=(
+		-DBUILD_TESTING="$(usex test)"
+	)
+
+	cmake-utils_src_configure
+}
diff --git a/sci-mathematics/arb/files/arb-2.18.0-build_type.patch b/sci-mathematics/arb/files/arb-2.18.0-build_type.patch
new file mode 100644
index 000000000000..1db7d5f2df42
--- /dev/null
+++ b/sci-mathematics/arb/files/arb-2.18.0-build_type.patch
@@ -0,0 +1,21 @@
+diff --git a/CMakeLists.txt b/CMakeLists.txt
+index ec806fe..4101c09 100644
+--- a/CMakeLists.txt
++++ b/CMakeLists.txt
+@@ -19,11 +19,11 @@ endif ()
+ set (BUILD_SHARED_LIBS yes CACHE BOOL "Build shared library or not")
+ set (BUILD_TESTING no CACHE BOOL "Build tests or not")
+ 
+-if (NOT (CMAKE_BUILD_TYPE STREQUAL "Debug" OR
+-        CMAKE_BUILD_TYPE STREQUAL "Release"))
+-    message("${CMAKE_BUILD_TYPE}")
+-    message(FATAL_ERROR "CMAKE_BUILD_TYPE must be one of: Debug, Release (current value: '${CMAKE_BUILD_TYPE}')")
+-endif ()
++# if (NOT (CMAKE_BUILD_TYPE STREQUAL "Debug" OR
++#         CMAKE_BUILD_TYPE STREQUAL "Release"))
++#     message("${CMAKE_BUILD_TYPE}")
++#     message(FATAL_ERROR "CMAKE_BUILD_TYPE must be one of: Debug, Release (current value: '${CMAKE_BUILD_TYPE}')")
++# endif ()
+ 
+ if ("${CMAKE_SIZEOF_VOID_P}" STREQUAL "8")
+     set (PLATFORM "x64")
diff --git a/sci-mathematics/arb/files/arb-2.18.0-multilib-strict.patch b/sci-mathematics/arb/files/arb-2.18.0-multilib-strict.patch
new file mode 100644
index 000000000000..e45dec9f3742
--- /dev/null
+++ b/sci-mathematics/arb/files/arb-2.18.0-multilib-strict.patch
@@ -0,0 +1,20 @@
+diff --git a/CMakeLists.txt b/CMakeLists.txt
+index ec806fe..d6136a8 100644
+--- a/CMakeLists.txt
++++ b/CMakeLists.txt
+@@ -136,10 +136,12 @@ if(NOT MSVC)
+     target_link_libraries(arb m)
+ endif()
+ 
++include(GNUInstallDirs)
++
+ install(TARGETS arb
+-            RUNTIME DESTINATION bin
+-            ARCHIVE DESTINATION lib
+-            LIBRARY DESTINATION lib
++            RUNTIME DESTINATION "${CMAKE_INSTALL_FULL_BINDIR}"
++            ARCHIVE DESTINATION "${CMAKE_INSTALL_FULL_LIBDIR}"
++            LIBRARY DESTINATION "${CMAKE_INSTALL_FULL_LIBDIR}"
+         )
+ 
+ foreach (FOLDER ${FOLDERS})
diff --git a/sci-mathematics/flint/Manifest b/sci-mathematics/flint/Manifest
index cb817ee0e2a0..8b4fe6189b96 100644
--- a/sci-mathematics/flint/Manifest
+++ b/sci-mathematics/flint/Manifest
@@ -1,7 +1,10 @@
 AUX flint-2.5.2-memory_message.patch 504 BLAKE2B ff8ddc685c973f75a133f36eb1284d833dfc35bf42c19c87a55c8b7816c77ed180b1438d782a7cde45025e11f6f30c4105465f2b80507cb42b6bb7d67fd0bc87 SHA512 86c99da2278530caccc3b4e7be06d014664c8f11438cb5dad32b68b91a5997e23366be6433d576ca9515cba5f46227939a1e4131199383ff7d00afe10e3b9d55
 AUX flint-2.5.2-pie.patch 3126 BLAKE2B 730b11cd1a47c476e7e12003a6a493fd019cd9fab7dcd5c691212bf23243378821b52c39bb0c1d0526e912aa6ae6b0d10939a155947932e6ba3df631df4cbf6c SHA512 58e11ac02c861f570887dcf61b1014fcb35e1b47104099a30511ad0ceab9340e4866b72b83f753421d8f33b611b59dbbe3156438789df69e0b3237320884d687
 AUX flint-2.5.2-utf8.patch 625 BLAKE2B ab76e01125f0f483b09c22a30656019963a98629c36e24f85c96800fe587dafaf2dbd2d26d4e319a97a29a6618ce9caa3078da5101a3ac6613f380596855a08d SHA512 cb0bdddd3de1077c01d118b0c9e7052d8510c1be976c44be0465bcaae41e02d6da80f78854e1bbff9ef47584c604b39181a2066dc0630e5effc7c77282d2352a
+AUX flint-2.6.0-multilib-strict.patch 622 BLAKE2B d383ce45fb82fabd62530cc15a8bda65f1b088a115985469cd5bfd13d96d0bb9a21d9a073d78aa7ee98f08bd3f75f81445f274777562bca8f317b553cb8483cd SHA512 d360d3d57427d66dedb2f12b2dad03dbbe8530b0bec4184829eed7d8ba534eb8d6e24b302b149dfb852e0415d2612ec9e6312f8f2ac6f0f6a264b8a1f0a66a78
 AUX flintxx-include.patch 507 BLAKE2B 250e54de1ab5b70cffdac7348b78db543cbdb366efa419dea62ffed2b0b5f95b787019e96fb95b9253b5289d58a2322b41f660f1719516e410e4245b09accb7b SHA512 144dc23d8706e22c6ac5d50bc2ce6c9e2eb8016155bec48a809bceec435d07781105c073b669302132963f063ab1c311e7381f78cc29a0141ca78eceb25aa0dc
 DIST flint-2.5.2.tar.gz 2212242 BLAKE2B 36b9b1f2acb1d79534d85884d755fddba3b8b40efbe92aeeecd7d1526cd21f0849054c30d23c565c6a13c609992cf22f56f5b640da15e1c7e6ba6840fc710d47 SHA512 cce36947b558aabecaf780171b4bbc0e1330c3b1a7e3580717584be5cab4991d33b190531c7995b224a3a440e28c4a610d6f781901e29f48ced12a9c5ba960a2
+DIST flint-2.6.0.tar.gz 4517938 BLAKE2B 25eeaae93dda01b91d7c76db6cd637ac61199f60cb169998b506eb733b0ed4dbd306c9d370caaf84dd20fbd85779d5b05de52086d82c8bc9afe67a581064462b SHA512 623655a121190d0a1f24305eee323e14f90d2c6451c174133706cde8b62fdf6363d79bfcbe6dce8ffe04bc64d0131d902917f44e0d38c1d647d982710cbc8a8a
 EBUILD flint-2.5.2-r1.ebuild 1714 BLAKE2B e1e6770c375f95ac1bb5d4284ffc205ba4a95d9933799718862ab31a12c87c3da9ed0c46509b808856a3663eef1d4bbd0c7334d9b1f76a192d66e196a2eb1683 SHA512 4ee441362d871807a93a9e9ab8d5a4d261f1c87ae0802525a780855ceb93666f3ca721a0fcbfc7d341522a0c8d81e3b28765ba6a1246a3535881e35e20ec24dd
+EBUILD flint-2.6.0.ebuild 1148 BLAKE2B a131754672341cbebfc5b74c07525213d6c7fecff58acf48db94aad682e29526dc91727e13210fae02b440ed3ece9a921b5f6e22a59bd3874bebcba76280dc43 SHA512 45eb898e733364e021b2723acd5d57d4ea5946e9b3f49ba95e8ccff9e8ef831b30a4007f5f93b34ed8cff14fd4aa2feee9633c9c94665244006a7b42e2349901
 MISC metadata.xml 481 BLAKE2B f0d2cbeda37050bec654c0cba3c45b7340f37b29aa570c744d0a882f662481e7d8d777f48b0530fa23090807d9ad0a913733f4d55a3661f82322cfe544b90508 SHA512 63b38afaf08270df42d3a26cca9f5f491562dd89d8e9c43def3849a624d6694343147e47a602d75e44a656a8db1f7cb06885534fe39917cb46f2f895efc8ff16
diff --git a/sci-mathematics/flint/files/flint-2.6.0-multilib-strict.patch b/sci-mathematics/flint/files/flint-2.6.0-multilib-strict.patch
new file mode 100644
index 000000000000..84ae3dfc292e
--- /dev/null
+++ b/sci-mathematics/flint/files/flint-2.6.0-multilib-strict.patch
@@ -0,0 +1,20 @@
+diff --git a/CMakeLists.txt b/CMakeLists.txt
+index 9d94776..b04fa78 100644
+--- a/CMakeLists.txt
++++ b/CMakeLists.txt
+@@ -293,10 +293,12 @@ if(NOT MSVC)
+ 	target_link_libraries(flint PUBLIC m)
+ endif()
+ 
++include(GNUInstallDirs)
++
+ install(TARGETS flint
+-            RUNTIME DESTINATION bin
+-            ARCHIVE DESTINATION lib
+-            LIBRARY DESTINATION lib
++            RUNTIME DESTINATION "${CMAKE_INSTALL_FULL_BINDIR}"
++            ARCHIVE DESTINATION "${CMAKE_INSTALL_FULL_LIBDIR}"
++            LIBRARY DESTINATION "${CMAKE_INSTALL_FULL_LIBDIR}"
+         )
+ 
+ install(FILES ${HEADERS} DESTINATION include/flint)
diff --git a/sci-mathematics/flint/flint-2.6.0.ebuild b/sci-mathematics/flint/flint-2.6.0.ebuild
new file mode 100644
index 000000000000..d6ba11ee4b12
--- /dev/null
+++ b/sci-mathematics/flint/flint-2.6.0.ebuild
@@ -0,0 +1,63 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+PYTHON_COMPAT=( python3_{6..8} )
+inherit cmake-utils python-any-r1
+
+DESCRIPTION="Fast Library for Number Theory"
+HOMEPAGE="http://www.flintlib.org/"
+SRC_URI="http://www.flintlib.org/${P}.tar.gz"
+
+LICENSE="LGPL-2.1+"
+SLOT="0/14"
+KEYWORDS="~amd64 ~arm ~ppc ~x86"
+IUSE="doc ntl test"
+
+RESTRICT="!test? ( test )"
+
+BDEPEND="doc? (
+	dev-python/sphinx
+	app-text/texlive-core
+	dev-texlive/texlive-latex
+	dev-texlive/texlive-latexextra
+	)
+	${PYTHON_DEPS}"
+DEPEND="dev-libs/gmp:=
+	dev-libs/mpfr:=
+	ntl? ( dev-libs/ntl:= )"
+RDEPEND="${DEPEND}"
+
+PATCHES=(
+	"${FILESDIR}"/${PN}-2.6.0-multilib-strict.patch
+)
+
+src_configure() {
+	local mycmakeargs=(
+		-DWITH_NTL="$(usex ntl)"
+		-DBUILD_TESTING="$(usex test)"
+		-DBUILD_DOCS="$(usex doc)"
+	)
+
+	cmake-utils_src_configure
+
+	if use doc ; then
+		HTML_DOCS="${BUILD_DIR}/html/*"
+		DOCS=(
+			"${S}"/README
+			"${S}"/AUTHORS
+			"${S}"/NEWS
+			"${BUILD_DIR}"/latex/Flint.pdf
+		)
+	fi
+}
+
+src_compile() {
+	cmake-utils_src_compile
+
+	if use doc ; then
+		cmake-utils_src_make html
+		cmake-utils_src_make pdf
+	fi
+}
diff --git a/sci-mathematics/rkward/Manifest b/sci-mathematics/rkward/Manifest
index f294d909e79c..6bad81e556a9 100644
--- a/sci-mathematics/rkward/Manifest
+++ b/sci-mathematics/rkward/Manifest
@@ -1,3 +1,3 @@
 DIST rkward-0.7.1b.tar.gz 4618168 BLAKE2B cccd0409d6609aee500d4a96bbe9d94fe7c3b8c7ee77d0b80e0b4e62445bf9eb46f9a1c2ff82a11c304d3c58c8ef32f33b2aaf2a96faa9e69adb10f1fb6a5746 SHA512 e2fef6db00153a67e03ef6a4e8152eceee45738394758042df1248053c1473a362cf70615bd4d8451b6594a252e16875d9248c1a358f33a8f1917503e22b4cf8
 EBUILD rkward-0.7.1b.ebuild 1085 BLAKE2B cf73b465ea4dd14aff0752383756dce6f10c2c410f6fbe976fb13d9a1aca2ff9e188f244f882215884d2fc508823d2b7c91c392c9f2f4941dbd4c3e51557be8e SHA512 e4b7b317499b43ef31d7f6e3148f7c6c9fdcf50d525826a2ec2bb5d6ab1fcc5ae781749f5281834ee822f40c4588aa9eb5418c1a25f65c694dc46c944f9f6b31
-MISC metadata.xml 592 BLAKE2B 887f22ad10d784dd1a12f50ab14ae07e9da5f90828b78027c08c864641e334cd1343bd4bbd197ccec086fe9e7d1e95602f8f78cc3f1316701900b73e266d763d SHA512 81c026c96614186bc6b31f9737b91692df82523d2179d467aeb663f10b7ce079a4b52354d8f744dedbe5bf5cf1939921a26f24f8deec9a170ac435da1f9863f6
+MISC metadata.xml 379 BLAKE2B 7121b146f3459161739381e46701bdbdcdea98aee6f77e28d4a6d1628abb6b391800991aa23db4df4355850e04aa5efd80f2ea2fc0d500f48cf0377760eab8ee SHA512 02e0755c6d71955276d5a3f1adfa69a4056820e99c0d5e815ce1966c3d474dd61573fee137056d67bc64ebfc01297223a2f8f523c9c6d9b5eb9755104fc0915a
diff --git a/sci-mathematics/rkward/metadata.xml b/sci-mathematics/rkward/metadata.xml
index c47f3d391fcb..a0355719f4f0 100644
--- a/sci-mathematics/rkward/metadata.xml
+++ b/sci-mathematics/rkward/metadata.xml
@@ -1,16 +1,12 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
-  <maintainer type="project">
-    <email>sci-mathematics@gentoo.org</email>
-    <name>Gentoo Mathematics Project</name>
-  </maintainer>
-  <longdescription lang="en">
-RKWard aims to become an easy to use frontend to R. RKWard is still in
-development status. Right now it is most useful as an IDE to users
-with some experience in R, or willing to learn R.
-</longdescription>
-  <upstream>
-    <remote-id type="sourceforge">rkward</remote-id>
-  </upstream>
+	<maintainer type="project">
+		<email>kde@gentoo.org</email>
+		<name>Gentoo KDE Project</name>
+	</maintainer>
+	<maintainer type="project">
+		<email>sci-mathematics@gentoo.org</email>
+		<name>Gentoo Mathematics Project</name>
+	</maintainer>
 </pkgmetadata>
diff --git a/sci-mathematics/why3-for-spark/Manifest b/sci-mathematics/why3-for-spark/Manifest
index c59ff657daa8..d2cfafb26d29 100644
--- a/sci-mathematics/why3-for-spark/Manifest
+++ b/sci-mathematics/why3-for-spark/Manifest
@@ -5,6 +5,6 @@ DIST why3-2019-20190517-197BB-src.tar.gz 9439414 BLAKE2B 68072064e8ee9152528c90a
 DIST why3-for-spark-gpl-2018-src.tar.gz 7682767 BLAKE2B 0b0272ca4d5519ca402990b234d0847378bcd2a0949fea78ea10e355233a16aebe79b938cdf8e4daadabb909171cab83b9d6ccacf9f2dc1c0b57bb6da6fd1fe0 SHA512 fc798acf343484fd8e70f470a318753c9a0e9967ff579f20ec185bf3c2a75e7a4a556388fc86a378610ce4a467f3e722c6f610da34d4c33bc3d6b10551731f07
 EBUILD why3-for-spark-2018.ebuild 1712 BLAKE2B 6bab5512436341fe88e22657752081b5ed78f6ae27f1b3e5dc95a916a2b641f1f362aba40a333b74622a3832b5c385100d9266bdc25a692f43a20a93be2605a8 SHA512 0077d68c18911e71f5ff3a54b48700b3e63dbf976acf9f153ebb9ce81d8de6f697b9750be0ac5dfd214f40677a3dbe9325d8005df169a853b90980099d7ce762
 EBUILD why3-for-spark-2019-r1.ebuild 1800 BLAKE2B 945fb823d3add5e83a0a121c077fbf1995620ff57ab061ebe6d70108a7d29a3481364f95a34f8a789b7844dcd544e5506f406317c3f0211fd42d9e50da3b4185 SHA512 e14b116249693850aef1b21b1c61f71c3ad3803bb52b36e1355ff0116d1a7075a5a0282b8814221ab2eeb41bc4823e4b259813d08bd3f3fe555497580c004a37
-EBUILD why3-for-spark-2019-r2.ebuild 2925 BLAKE2B 463634d1bff171a57666a077f49dfefe07a3679491ebb0ae598501c4d418551ca4a2c2242fc6324d08bafcd1a493a78f83d5590ff17660c7a1dfb91008132823 SHA512 dfc7d9b063fbe98d2d4ed2aecb2378b1f05b537b25aa690f933cbc6b027c9ff0d088040dca6fb404c2a05749e020178aaf798957fe1971e61350ec1d7e97a71e
+EBUILD why3-for-spark-2019-r2.ebuild 2982 BLAKE2B 46845a19e57af3364b387697e96d5438d29d01f27418b11b3adefbbaf1de8463ac08950764aa7af8625945725859885484d343dbe35586e4c03c6ecad4777795 SHA512 520421eac279b9158ccd8e3f3f2cab4181ad78782396d7ef5db7f4d13d550e05023e50b8dbceeb387e533eda395cefc2312930ad9a0ee3cf78bf1d847bc07167
 EBUILD why3-for-spark-2019.ebuild 1781 BLAKE2B 00bb8e39eff2bc94757bb823c663911ad308488a3d3491e6f00a4a30e541a2724a7e29f999c4c32966d9cc45feaf99b76bf3259a6014b133d9125ccff687fdbf SHA512 81e68202740eaea33e19dad98c14e6baa9fafaa69a4a25d87132bb55248d977cc94871f50929802f67fd670a068f01ae62d9863a8a091e97c4e5d762566850c3
 MISC metadata.xml 1363 BLAKE2B 820bfc974ca6984f78340f223f8f19d12f0313016118110a35cfe149129c2dc189d6f03f34bf3d30c9d3e5d9c9ab90bba33dca4320c034821a7a89f97b92a7f9 SHA512 ee8323cc37fdea800e355fc14ba67cac66c3ec3c41528d481a7e938b1d3e23859bdddfb06d3b6653725cdcfcc0d07e66ba1d3cc80b3637a781db7bab5f7dc677
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 e27b14270409..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,11 +100,13 @@ 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
+	dosym ../../bin/why3cpulimit /usr/$(get_libdir)/why3/why3cpulimit
 
 	einstalldocs
 	docompress -x /usr/share/doc/${PF}/examples