I did it. Can’t remember exactly how. I had to go to lablgtk2 web page and install manually lablgtk2/gtkSourceView2.cmx file.
I signaled problem to Kyoto/Nagoya’s guys and asked on why3 list… (with no answer too) http://lists.gforge.inria.fr/pipermail/why3-club/2012-October/000428.html Btw, there is also a problem with fonts (too large on left column of why3ide) and new X-window server on MacOSx. Anybody with me ? -JJ- Le 20 févr. 2014 à 23:05, Yannick Moy <m...@adacore.com> a écrit : > Quick question to Mac users: how do you get labgtksourceview2? > In particular, does someone manage to install it through MacPorts? > > I saw this message from Jean-Jacques in 2012, who advises to install first > gtksourceview2 then lablgtk2: > > http://lists.gforge.inria.fr/pipermail/why3-club/2012-October/000438.html > > But even then I only get an mli file for GSourceView2, no cmi file: > > $ ls /opt/local/lib/ocaml/site-lib/lablgtk2/gSourceView2* > /opt/local/lib/ocaml/site-lib/lablgtk2/gSourceView2.mli > > and apparently I'm missing the necessary files to compile it. _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/why3-club