Installing Frama-C-25.0 with opam fails on Pango interface conflict
Steps to reproduce the issue
opam update # 2022-10-28, created new switch for OCaml-4.14.0
opam reinstall conf-gtk3 conf-cairo conf-pango ocamlgraph ocamlgraph_gtk lablgtk3 frama-c # any number of times
Expected behaviour
Successful install of frama-c
Actual behaviour
Everything else (re-)installs successfully, but frama-c fails with:
# File "src/plugins/gui/dgraph_helper.ml", line 1:
# Error: The files /home/kahl/.opam/default/lib/lablgtk3/gWindow.cmi
# and /home/kahl/.opam/default/lib/ocamlgraph_gtk/graph_gtk__DGraphContainer.cmi
# make inconsistent assumptions over interface Pango
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
│ λ build frama-c 25.0
└─
┌─ The following changes have been performed
│ ↻ recompile altgr-ergo 2.4.2
│ ↻ recompile cairo2 0.6.4
│ ↻ recompile conf-cairo 1
│ ↻ recompile conf-gtk3 18
│ ↻ recompile conf-pango 1
│ ↻ recompile lablgtk3 3.1.3
│ ↻ recompile lablgtk3-sourceview3 3.1.3
│ ↻ recompile ocamlgraph 2.0.0
│ ↻ recompile ocamlgraph_gtk 2.0.0
│ ↻ recompile why3 1.5.1
└─
Contextual information
- Frama-C installation mode: opam
- Frama-C version: 25.0
- Plug-in used: Plug-in used
- OS name: linux
- OS version: Ubuntu 20.04.5 LTS
Additional information (optional)
After the first attempt, I noticed that conf-pango had not even been pulled in automatically.