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
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club

Reply via email to