Gentoo Archives: gentoo-commits

From: Anna Vyalkova <cyber+gentoo@×××××.in>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c/
Date: Sun, 16 May 2021 16:11:16
Message-Id: 1621181466.fad0bd71a5e8db76b299a08c323999552f3acb59.cybertailor@gentoo
1 commit: fad0bd71a5e8db76b299a08c323999552f3acb59
2 Author: Anna Vyalkova <cyber <AT> sysrq <DOT> in>
3 AuthorDate: Sun May 16 14:41:42 2021 +0000
4 Commit: Anna Vyalkova <cyber+gentoo <AT> sysrq <DOT> in>
5 CommitDate: Sun May 16 16:11:06 2021 +0000
6 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=fad0bd71
7
8 sci-mathematics/frama-c: fix AR and RANLIB
9
10 Closes: https://bugs.gentoo.org/785163
11 Closes: https://bugs.gentoo.org/784944
12 Signed-off-by: Anna Vyalkova <cyber <AT> sysrq.in>
13
14 sci-mathematics/frama-c/frama-c-22.0.ebuild | 8 +++++++-
15 1 file changed, 7 insertions(+), 1 deletion(-)
16
17 diff --git a/sci-mathematics/frama-c/frama-c-22.0.ebuild b/sci-mathematics/frama-c/frama-c-22.0.ebuild
18 index cb0c8334c..80111f49f 100644
19 --- a/sci-mathematics/frama-c/frama-c-22.0.ebuild
20 +++ b/sci-mathematics/frama-c/frama-c-22.0.ebuild
21 @@ -3,7 +3,7 @@
22
23 EAPI=7
24
25 -inherit autotools findlib
26 +inherit autotools findlib toolchain-funcs
27
28 DESCRIPTION="Framework for analysis of source codes written in C"
29 HOMEPAGE="https://frama-c.com"
30 @@ -53,6 +53,7 @@ src_prepare() {
31 mv configure.in configure.ac || die
32 sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
33 sed -i '/\$(CC)/s/-O2 -g3/$(CFLAGS)/' src/plugins/e-acsl/Makefile.in || die
34 + sed -i "s/ranlib/$(tc-getRANLIB)/" src/plugins/e-acsl/Makefile.in || die
35 touch config_file || die
36 eautoreconf
37 eapply_user
38 @@ -96,3 +97,8 @@ src_configure() {
39 $(use_enable wp) \
40 --disable-wp-coq
41 }
42 +
43 +src_compile() {
44 + tc-export AR
45 + default
46 +}