--- layout: fc_discuss_archives title: Message 52 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



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>