commit:     e7417b60bbe948ef95486c7f3f139bc48351f2ff
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Jan  4 17:18:29 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Jan  4 17:27:23 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e7417b60

sci-mathematics/eprover: do not call ar/ranlib directly

Closes: https://bugs.gentoo.org/889646
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 sci-mathematics/eprover/eprover-3.0_pre008.ebuild | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/sci-mathematics/eprover/eprover-3.0_pre008.ebuild 
b/sci-mathematics/eprover/eprover-3.0_pre008.ebuild
index 0a693b56b539..9a1b1dfb3628 100644
--- a/sci-mathematics/eprover/eprover-3.0_pre008.ebuild
+++ b/sci-mathematics/eprover/eprover-3.0_pre008.ebuild
@@ -27,6 +27,10 @@ src_prepare() {
                -e "/^   AR/s|ar|$(tc-getAR)|"              \
                -e "/^   CC/s|gcc|$(tc-getCC)|"             \
                -i "${S}"/Makefile.vars || die
+
+       sed -e "s|ar rc|$(tc-getAR) rc|g"                       \
+               -e "s|ranlib|$(tc-getRANLIB)|g"                     \
+               -i "${S}"/CONTRIB/picosat-965/makefile.in || die
 }
 
 src_configure() {

Reply via email to