--- layout: fc_discuss_archives title: Message 53 from Frama-C-discuss on August 2013 ---
Thanks, That forces the build of the gnomecanvas so after opam reinstall --verbose lablgtk opam install --verbose frama-c.20130601 I had the gui but everytime I invoke it crashes with the generic message: (frama-c-gui:87173): LablGTK-CRITICAL **: GSourceFunc: callback raised an exception I'm hoping it's just a permissions problem or something, but the message is pretty generic. Alwyn On Sat, Aug 24, 2013 at 9:29 PM, Ismael Vilas Boas <ismael.vb at gmail.com>wrote: > 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 >> > > > _______________________________________________ > 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 > -- Alwyn E. Goodloe, Ph.D. agoodloe at gmail.com Research Computer Engineer NASA Langley Research Center -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130825/5405d89e/attachment.html>