Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 171
    • Issues 171
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #2591
Closed
Open
Issue created Jan 11, 2022 by ryancaicse@ryancaicse

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
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking