GitLab

When I use opam install frama-c I got the below errors. What should I do? Thanks!

rando@ubuntu:~$ opam install frama-c
The following actions will be performed:
  ∗ install conf-gtk2          1       [required by lablgtk]
  ∗ install conf-gtksourceview 2       [required by frama-c]
  ∗ install conf-gnomecanvas   2       [required by frama-c]
  ∗ install lablgtk            2.18.11 [required by frama-c]
  ∗ install ocamlgraph_gtk     2.0.0   [required by frama-c]
  ∗ install frama-c            24.0
          The Frama-C/Wp now uses Why-3 for all provers (Cf.
          deprecated -wp-prover native:alt-ergo)
===== ∗ 6 =====
Do you want to continue? [Y/n] y

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><>
⬇ retrieved frama-c.24.0  (cached)
⬇ retrieved lablgtk.2.18.11  (cached)
⬇ retrieved ocamlgraph_gtk.2.0.0  (cached)
[ERROR] The compilation of conf-gnomecanvas.2 failed at "pkg-config
        libgnomecanvas-2.0".
[ERROR] The compilation of conf-gtk2.1 failed at "pkg-config --exists
        gtk+-2.0".
[ERROR] The compilation of conf-gtksourceview.2 failed at "pkg-config
        --short-errors --print-errors gtksourceview-2.0".

#=== ERROR while compiling conf-gtksourceview.2 =====================#
# context     2.1.2 | linux/x86_64 | ocaml-option-flambda.1 ocaml-variants.4.12.0+options | https://opam.ocaml.org/#3aeec9a7
# path        ~/.opam/4.12.0+flambda/.opam-switch/build/conf-gtksourceview.2
# command     ~/.opam/opam-init/hooks/sandbox.sh build pkg-config --short-errors --print-errors gtksourceview-2.0
# exit-code   1
# env-file    ~/.opam/log/conf-gtksourceview-53359-4fbae4.env
# output-file ~/.opam/log/conf-gtksourceview-53359-4fbae4.out
### output ###
# No package 'gtksourceview-2.0' found


#=== ERROR while compiling conf-gtk2.1 ==============================#
# context     2.1.2 | linux/x86_64 | ocaml-option-flambda.1 ocaml-variants.4.12.0+options | https://opam.ocaml.org/#3aeec9a7
# path        ~/.opam/4.12.0+flambda/.opam-switch/build/conf-gtk2.1
# command     ~/.opam/opam-init/hooks/sandbox.sh build pkg-config --exists gtk+-2.0
# exit-code   1
# env-file    ~/.opam/log/conf-gtk2-53359-73ec4e.env
# output-file ~/.opam/log/conf-gtk2-53359-73ec4e.out


#=== ERROR while compiling conf-gnomecanvas.2 =======================#
# context     2.1.2 | linux/x86_64 | ocaml-option-flambda.1 ocaml-variants.4.12.0+options | https://opam.ocaml.org/#3aeec9a7
# path        ~/.opam/4.12.0+flambda/.opam-switch/build/conf-gnomecanvas.2
# command     ~/.opam/opam-init/hooks/sandbox.sh build pkg-config libgnomecanvas-2.0
# exit-code   1
# env-file    ~/.opam/log/conf-gnomecanvas-53359-4e35be.env
# output-file ~/.opam/log/conf-gnomecanvas-53359-4e35be.out



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
│ λ build conf-gnomecanvas   2
│ λ build conf-gtk2          1
│ λ build conf-gtksourceview 2
└─
╶─ No changes have been performed