-- Yannick Moy (2014-02-21) > > > Thanks! I had gtksourceview already installed with macports, so I simply used > opam to get lablgtk-extras, and it worked! For others who have the same > problem, here is exactly what I did, using macports+opam:
Argh! I just saw the maintainer of lablgtk2 just added a variant for installing also lablgtksourceview2: https://trac.macports.org/changeset/115964/trunk/dports/x11/lablgtk2/Portfile So there is a simpler solution for those using macports, namely install the gtksourceview2 variant: $ sudo port install lablgtk2 +gtksourceview2 I checked it works fine. -- Yannick Moy, Senior Software Engineer, AdaCore _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/why3-club
