Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] missing gui when installing with macports and opam
  • From: ismael.vb at gmail.com (Ismael Vilas Boas)
  • Date: Sun, 25 Aug 2013 02:29:34 +0100
  • In-reply-to: <CAH5O5PO_7crsFzOCNyMAqu+Uzp_v04nXveBL3cJt=qO1cuxG9g@mail.gmail.com>
  • References: <CAH5O5PO_7crsFzOCNyMAqu+Uzp_v04nXveBL3cJt=qO1cuxG9g@mail.gmail.com>
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>