--- layout: fc_discuss_archives title: Message 51 from Frama-C-discuss on August 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] missing gui when installing with macports and opam



 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>