Hello, As I asked on the issue you opened on Frama-C's bts yesterday ( https://bts.frama-c.com/view.php?id=2373) for the exact same problem: did you try the suggestion offered by opam, i.e. launching opam depext conf-gtksourceview.2? There is apparently an issue with the way gtksourceview was installed on your system (which should have been done by the line brew install gmp gtk+ gtksourceview libgnomecanvas according to the installation you link to). Note that this implies that you have install depext with opam install depext before.
Best regards, -- E tutto per oggi, a la prossima volta Virgile
_______________________________________________ Why3-club mailing list Why3firstname.lastname@example.org https://lists.gforge.inria.fr/mailman/listinfo/why3-club