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

sci-mathematics/frama-c: better fix for flags issue

Browse Source 
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
This commit is contained in:
François-Xavier Carton
2022-05-24 23:08:26 +02:00
parent 86ecc49dcb
commit 6f826a3a6d
2 changed files with 15 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
sci-mathematics/frama-c/files/frama-c-24.0-fix-bflags.patch Normal file
View File

@@ -0,0 +1,12 @@
https://git.frama-c.com/pub/frama-c/-/issues/2593
--- a/Makefile 2021-11-30 01:00:00.000000000 +0100
+++ b/Makefile 2022-01-14 15:19:18.855072759 +0100
@@ -671,6 +671,7 @@
NON_OPAQUE_DEPS+= src/kernel_services/plugin_entry_points/dynamic
+src/kernel_services/abstract_interp/abstract_memory.cmi: BFLAGS := $(BFLAGS)
src/kernel_services/abstract_interp/abstract_memory.cmo: BFLAGS += -rectypes
src/kernel_services/abstract_interp/abstract_memory.cmx: OFLAGS += -rectypes

6
sci-mathematics/frama-c/frama-c-24.0.ebuild
View File

@@ -27,13 +27,15 @@ DEPEND="${RDEPEND}
S="${WORKDIR}/${P}-${NAME}"
PATCHES=( ${FILESDIR}/frama-c-24.0-fix-bflags.patch )
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
touch config_file || die
sed -i '/^\t\$(CC)/s/ -O3 /$(CFLAGS)/' Makefile || die
eautoreconf
eapply_user
default
}
src_configure() {
@@ -45,8 +47,6 @@ src_configure() {
src_compile() {
tc-export AR
# workaround for https://git.frama-c.com/pub/frama-c/-/issues/2593
emake VERBOSEMAKE=yes src/kernel_services/abstract_interp/abstract_memory.cmi
emake VERBOSEMAKE=yes
}