--- layout: fc_discuss_archives title: Message 52 from Frama-C-discuss on August 2013 ---
Hi Alwyn, try to install lablgtk2 with macports before install frama-c with opam. sudo port install lablgtk2 +rsvg This should solve your problem with GUI. Greetings, Ismael VB 2013/8/25 Alwyn Goodloe <agoodloe at gmail.com> > > After an upgrade to 10.8.3 I decided to try to install Fluorine using the > macports/opam install process hoping to avoid some of the pain I've > experienced getting gtk to work. Doing the suggested > > port install opam > port install gtksourceview2 > opam init > eval `opam config env` > opam switch 4.00.1 > opam install frama-c > > but gnomecanvas.cmxa doesn't get installed meaning the frama-c-gui fails > to build. I gather it's a known problem, but was wondering if anyone knows > of a good workaround that isn't too messy a hack. > > Alwyn > > > > > ========================================================== > ========================================================== > camlfind -> using /Users/agoodloe/.opam/4.00.1/lib/lablgtk2 > checking for /Users/agoodloe/.opam/4.00.1/lib/lablgtk2/lablgtk.cmxa... yes > checking for > /Users/agoodloe/.opam/4.00.1/lib/lablgtk2/lablgtksourceview2.cmxa... yes > checking for > /Users/agoodloe/.opam/4.00.1/lib/lablgtk2/lablgnomecanvas.cmxa... no > checking for dot... yes > checking for /Users/agoodloe/.opam/4.00.1/lib/ocaml/dynlink.cmxa... yes > native dynlink works fine. Great. > configure: ************************************* > configure: * CHECKING FOR PLUG-IN DEPENDENCIES * > configure: ************************************* > configure: WARNING: lablgnomecanvas.cmxa not found > configure: WARNING: gui disabled because > /Users/agoodloe/.opam/4.00.1/lib/lablgtk2/lablgnomecanvas.cmxa missing. > -- > > > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130825/6b1e7cb3/attachment.html>