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] OSX install fonts + GTK error message

  • Subject: [Frama-c-discuss] OSX install fonts + GTK error message
  • From: agoodloe at (Alwyn Goodloe)
  • Date: Tue, 15 Jun 2010 18:13:49 -0400

I've installed the latest binaries on 10.5.8 OSX. I also installed the
DejaVu fonts as

Following directions

        To play the tutorial from, type:

         frama-c-gui -slevel 10 first.c

I get the following

(frama-c-gui:210): Gtk-CRITICAL **: gtk_widget_has_screen: assertion
`GTK_IS_WIDGET (widget)' failed

 and the math symbols don't seem to display. I'm guessing I'm not
configuring something correctly or still missing some fonts or
need to upgrade something so any help is appreciated.
Alwyn E. Goodloe, Ph.D.
agoodloe at

Computer Scientist
National Institute of Aerospace
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>