0002373: opam install why3 failed - Frama-C Bug Tracking System

Notes
(0006544) virgile (developer) 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.

(0006545) correnson (manager) 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 https://projects.gnome.org/gtksourceview/ [^] /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: https://github.com/Homebrew/homebrew-core/blob/master/Formula/gtksourceview.rb [^] ==> Dependencies Build: pkg-config ✔, intltool ✘ Required: gettext ✔, gtk+ ✔, gtk-mac-integration ✔ This shall be enough for opam depext conf-gtksourceview.2 to be happy...

(0006563) maroneze (developer) 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: https://bts.frama-c.com/view.php?id=2375 [^] Also, considering this issue (https://github.com/Frama-C/Frama-C-snapshot/issues/8 [^]) 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:34	signoles	Note Added: 0006577
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:37	signoles	Note Deleted: 0006577
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

Relationships