Error when install frama-c with opam
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