diff --git a/sci-mathematics/frama-c/frama-c-22.0.ebuild b/sci-mathematics/frama-c/frama-c-22.0.ebuild index cb0c8334c0..80111f49f3 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 +}