--- layout: fc_discuss_archives title: Message 51 from Frama-C-discuss on August 2013 ---
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. -- -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130824/d0467eef/attachment.html>