Anonymous Login Frama-C issues should now be submitted on Frama-C's GitLab
2021-03-06 03:11 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0002373Frama-COpampublic2018-07-11 15:40
Assigned Tomaroneze 
PlatformMacOSMac OSOS Version10.13.3
Product VersionFrama-C 17-Chlorine 
Target VersionFixed in VersionFrama-C 17-Chlorine 
Summary0002373: opam install why3 failed
DescriptionFollowing opam installation instructions at
all ok when: opam install altgr-ergo why3=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 🐫
[ERROR] The compilation of conf-gtksourceview failed at "pkg-config --short-errors --print-errors gtksourceview-2.0".

#=== ERROR while installing conf-gtksourceview.2 ==============================#
# opam-version 1.2.2
# os darwin
# command pkg-config --short-errors --print-errors gtksourceview-2.0
# path /Users/wenlongxie/.opam/system/build/conf-gtksourceview.2
# compiler system (4.06.1)
# exit-code 127
# env-file /Users/wenlongxie/.opam/system/build/conf-gtksourceview.2/conf-gtksourceview-1291-1872ec.env
# stdout-file /Users/wenlongxie/.opam/system/build/conf-gtksourceview.2/conf-gtksourceview-1291-1872ec.out
# stderr-file /Users/wenlongxie/.opam/system/build/conf-gtksourceview.2/conf-gtksourceview-1291-1872ec.err

=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 🐫
The following actions were aborted
  ∗ install altgr-ergo 1.30
  ∗ install lablgtk 2.18.6
  ∗ install ocamlgraph 1.8.8
  ∗ install why3 0.88.3
  ∗ install why3-base 0.88.3
The following actions failed
  ∗ install conf-gtksourceview 2
No changes have been performed

=-=- conf-gtksourceview.2 troobleshooting -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 🐫
=> This package relies on external (system) dependencies that may be missing. `opam depext conf-gtksourceview.2' may help
   you find the correct installation for your system.

ocaml is 4.06.1
opam is 1.2.2
TagsNo tags attached.
Attached Files




virgile (developer)

disclaimer: I don't use MacOS X, hence I do not know to which extent opam supports this platform.

Did you try what opam is telling you at the end of the log, i.e. opam depext conf-gtksourceview.2 (opam depext conf-gtksourceview without the .2 should be sufficient though)? Basically, there is something wrong with the C libraries that Frama-C is using, and for which opam relies on external tools to do the installation. This should have been taken care of by the step 2 of the instructions, but it might be the case that some brew package changed a little bit. If opam's vision of the external world has been updated accordingly, the command above should get you back in track. Otherwise, I'm afraid that only someone with access to a MacOS X machine will be able to help you.


correnson (manager)

Hi, it seems that you have a problem with your gtk installation, not with your Frama-C !
Did the following step of the installation instructions really succeed on your machine ?

$ brew install gmp gtk+ gtksourceview libgnomecanvas

For info, on my Mac, I have this:

$ brew info gtksourceview
gtksourceview: stable 2.10.5 (bottled)
Text view with syntax, undo/redo, and text marks
/usr/local/Cellar/gtksourceview/2.10.5_1 (229 files, 4.5MB)
  Poured from bottle on 2017-01-03 at 16:10:38
/usr/local/Cellar/gtksourceview/2.10.5_2 (230 files, 4.6MB)
  Poured from bottle on 2017-09-05 at 11:06:13
/usr/local/Cellar/gtksourceview/2.10.5_3 (230 files, 4.6MB) *
  Poured from bottle on 2018-03-26 at 11:39:10
==> Dependencies
Build: pkg-config ✔, intltool ✘
Required: gettext ✔, gtk+ ✔, gtk-mac-integration ✔

This shall be enough for opam depext conf-gtksourceview.2 to be happy...


maroneze (administrator)

If you can upgrade to Frama-C 17 Chlorine, please consider trying it. You can also see if the following bug report can help you:

Also, considering this issue ( on Github, it seems that the original installation problem may have been resolved. I'm marking this as resolved here in Mantis, if this is not the case feel free to change its status or post an update.

-Issue History
Date Modified Username Field Change
2018-04-09 16:59 agrcs New Issue
2018-04-09 17:18 virgile Note Added: 0006544
2018-04-09 17:18 virgile Assigned To => correnson
2018-04-09 17:18 virgile Status new => feedback
2018-04-11 11:01 correnson Note Added: 0006545
2018-06-06 18:29 maroneze Category Kernel => Opam
2018-06-06 18:34 maroneze Note Added: 0006563
2018-06-06 18:34 maroneze Status feedback => resolved
2018-06-06 18:34 maroneze Resolution open => fixed
2018-06-06 18:34 maroneze Assigned To correnson => maroneze
2018-07-11 15:33 signoles Fixed in Version => Frama-C 16-Sulfur
2018-07-11 15:34 signoles Status resolved => closed
2018-07-11 15:37 signoles Status closed => resolved
2018-07-11 15:37 signoles Fixed in Version Frama-C 16-Sulfur =>
2018-07-11 15:40 signoles Product Version Frama-C 16-Sulfur => Frama-C 17-Chlorine
2018-07-11 15:40 signoles Status resolved => closed
2018-07-11 15:40 signoles Fixed in Version => Frama-C 17-Chlorine
+Issue History