https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: sci-mathematics/frama-c-slicing-23.1 fails to compile. Discovered on: amd64 (internal ref: guru_tinderbox) NOTE: This machine uses GCC-11: https://gcc.gnu.org/gcc-11/porting_to.html
Created attachment 744234 [details] build.log build log and emerge --info
I'm unable to reproduce this. From the attached log, I get that at the time of emerging frama-c-pdg, the installed frama-c* packages and their USE flags were: =sci-mathematics/frama-c-23.1 gtk ocamlopt =sci-mathematics/frama-c-postdominators-23.1 ocamlopt =sci-mathematics/frama-c-loopanalysis-23.1 ocamlopt =sci-mathematics/frama-c-rtegen-23.1 ocamlopt =sci-mathematics/frama-c-server-23.1 ocamlopt =sci-mathematics/frama-c-callgraph-23.1 gtk ocamlopt =sci-mathematics/frama-c-eva-23.1 gtk ocamlopt =sci-mathematics/frama-c-from-23.1 -gtk ocamlopt =sci-mathematics/frama-c-inout-23.1 ocamlopt =sci-mathematics/frama-c-scope-23.1 -gtk ocamlopt Could you confirm this was indeed the case? I suspected that the reported error could happen if frama-c was emerged with USE=-gtk at the time of building frama-c-pdg, and then re-emerged with USE=gtk before building frama-c-slicing. However I have tested this scenario on my machine, and everything builds fine.
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=e9083b7690d96235a394f9346906ce3d42e2de1d commit e9083b7690d96235a394f9346906ce3d42e2de1d Author: François-Xavier Carton <fx.carton91@gmail.com> AuthorDate: 2022-05-24 21:23:29 +0000 Commit: François-Xavier Carton <fx.carton91@gmail.com> CommitDate: 2022-05-24 21:30:02 +0000 sci-mathematics/frama-c-*: force gtk USE to match frama-c core Having frama-c[gtk] can cause problems if there are plugins compiled with [-gtk]. It can also cause runtime issues. Closes: https://bugs.gentoo.org/817314 Closes: https://bugs.gentoo.org/817365 Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com> sci-mathematics/frama-c-callgraph/frama-c-callgraph-23.1.ebuild | 2 +- sci-mathematics/frama-c-callgraph/frama-c-callgraph-24.0.ebuild | 2 +- sci-mathematics/frama-c-eva/frama-c-eva-23.1.ebuild | 4 ++-- sci-mathematics/frama-c-eva/frama-c-eva-24.0.ebuild | 4 ++-- sci-mathematics/frama-c-from/frama-c-from-23.1.ebuild | 6 +++--- sci-mathematics/frama-c-from/frama-c-from-24.0.ebuild | 6 +++--- sci-mathematics/frama-c-impact/frama-c-impact-23.1.ebuild | 6 +++--- sci-mathematics/frama-c-impact/frama-c-impact-24.0.ebuild | 6 +++--- sci-mathematics/frama-c-metrics/frama-c-metrics-23.1.ebuild | 4 ++-- sci-mathematics/frama-c-metrics/frama-c-metrics-24.0.ebuild | 4 ++-- sci-mathematics/frama-c-occurrence/frama-c-occurrence-23.1.ebuild | 4 ++-- sci-mathematics/frama-c-occurrence/frama-c-occurrence-24.0.ebuild | 4 ++-- sci-mathematics/frama-c-qed/frama-c-qed-23.1.ebuild | 2 +- sci-mathematics/frama-c-qed/frama-c-qed-24.0.ebuild | 2 +- sci-mathematics/frama-c-scope/frama-c-scope-23.1.ebuild | 4 ++-- sci-mathematics/frama-c-scope/frama-c-scope-24.0.ebuild | 4 ++-- sci-mathematics/frama-c-slicing/frama-c-slicing-23.1.ebuild | 6 +++--- sci-mathematics/frama-c-slicing/frama-c-slicing-24.0.ebuild | 6 +++--- sci-mathematics/frama-c-studia/frama-c-studia-23.1.ebuild | 4 ++-- sci-mathematics/frama-c-studia/frama-c-studia-24.0.ebuild | 4 ++-- sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild | 4 ++-- sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild | 4 ++-- 22 files changed, 46 insertions(+), 46 deletions(-)