| Summary: | [guru] sci-mathematics/frama-c-slicing-23.1 fails to compile | ||
|---|---|---|---|
| Product: | GURU | Reporter: | Agostino Sarubbo <ago> |
| Component: | Package issues | Assignee: | François-Xavier Carton <fx.carton91> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | CC: | guru-bugs |
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Attachments: | build.log | ||
|
Description
Agostino Sarubbo
2021-10-10 05:57:00 UTC
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(-) |