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



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>