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: agoodloe at (Alwyn Goodloe)
  • Date: Sat, 24 Aug 2013 19:48:46 -0400

 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.


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: *************************************
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: <>