commit:     fad0bd71a5e8db76b299a08c323999552f3acb59
Author:     Anna Vyalkova <cyber <AT> sysrq <DOT> in>
AuthorDate: Sun May 16 14:41:42 2021 +0000
Commit:     Anna Vyalkova <cyber+gentoo <AT> sysrq <DOT> in>
CommitDate: Sun May 16 16:11:06 2021 +0000
URL:        https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=fad0bd71

sci-mathematics/frama-c: fix AR and RANLIB

Closes: https://bugs.gentoo.org/785163
Closes: https://bugs.gentoo.org/784944
Signed-off-by: Anna Vyalkova <cyber <AT> sysrq.in>

 sci-mathematics/frama-c/frama-c-22.0.ebuild | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/sci-mathematics/frama-c/frama-c-22.0.ebuild 
b/sci-mathematics/frama-c/frama-c-22.0.ebuild
index cb0c8334c..80111f49f 100644
--- a/sci-mathematics/frama-c/frama-c-22.0.ebuild
+++ b/sci-mathematics/frama-c/frama-c-22.0.ebuild
@@ -3,7 +3,7 @@
 
 EAPI=7
 
-inherit autotools findlib
+inherit autotools findlib toolchain-funcs
 
 DESCRIPTION="Framework for analysis of source codes written in C"
 HOMEPAGE="https://frama-c.com";
@@ -53,6 +53,7 @@ src_prepare() {
        mv configure.in configure.ac || die
        sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || 
die
        sed -i '/\$(CC)/s/-O2 -g3/$(CFLAGS)/' src/plugins/e-acsl/Makefile.in || 
die
+       sed -i "s/ranlib/$(tc-getRANLIB)/" src/plugins/e-acsl/Makefile.in || die
        touch config_file || die
        eautoreconf
        eapply_user
@@ -96,3 +97,8 @@ src_configure() {
                $(use_enable wp) \
                --disable-wp-coq
 }
+
+src_compile() {
+       tc-export AR
+       default
+}

Reply via email to