mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-22 21:43:03 -04:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
Closes: https://bugs.gentoo.org/785163
Closes: https://bugs.gentoo.org/784944
Signed-off-by: Anna Vyalkova <cyber@sysrq.in>
This commit is contained in:
Anna Vyalkova
2021-05-16 19:41:42 +05:00
parent 57ffb9a7ed
commit fad0bd71a5
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
sci-mathematics/frama-c/frama-c-22.0.ebuild
View File

@@ -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
}