Frama-C Bug Tracking System - Frama-C
View Issue Details
0002373Frama-COpampublic2018-04-09 16:592018-07-11 15:40
MacMac OS10.13.3
Frama-C 17-Chlorine 
Frama-C 17-Chlorine 
0002373: opam install why3 failed
Following 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
No tags attached.
Issue History
2018-04-09 16:59agrcsNew Issue
2018-04-09 17:18virgileNote Added: 0006544
2018-04-09 17:18virgileAssigned To => correnson
2018-04-09 17:18virgileStatusnew => feedback
2018-04-11 11:01corrensonNote Added: 0006545
2018-06-06 18:29maronezeCategoryKernel => Opam
2018-06-06 18:34maronezeNote Added: 0006563
2018-06-06 18:34maronezeStatusfeedback => resolved
2018-06-06 18:34maronezeResolutionopen => fixed
2018-06-06 18:34maronezeAssigned Tocorrenson => maroneze
2018-07-11 15:33signolesFixed in Version => Frama-C 16-Sulfur
2018-07-11 15:34signolesStatusresolved => closed
2018-07-11 15:34signolesNote Added: 0006577
2018-07-11 15:37signolesStatusclosed => resolved
2018-07-11 15:37signolesFixed in VersionFrama-C 16-Sulfur =>
2018-07-11 15:37signolesNote Deleted: 0006577
2018-07-11 15:40signolesProduct VersionFrama-C 16-Sulfur => Frama-C 17-Chlorine
2018-07-11 15:40signolesStatusresolved => closed
2018-07-11 15:40signolesFixed in Version => Frama-C 17-Chlorine

2018-04-09 17:18   
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.
2018-04-11 11:01   
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 From: ==> Dependencies Build: pkg-config ✔, intltool ✘ Required: gettext ✔, gtk+ ✔, gtk-mac-integration ✔ This shall be enough for opam depext conf-gtksourceview.2 to be happy...
2018-06-06 18:34   
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.