--- layout: fc_discuss_archives title: Message 57 from Frama-C-discuss on November 2009 ---
Hi, Thanks for your help. > On a related note, the Mac OS X binaries can now be downloaded from: > http://frama-c.cea.fr/download.html I download and installed the binaries and now is everything working fine :-) Many many thanks :-) Best regards, B?rbara A 2009/11/18, ?s 09:04, Pascal Cuoq escreveu: > Hello, > >>> Frama-C comes pre-configured to use the DejaVu fonts if available. >> >> The DejaVu Fonts are not available on all systems. Is it reasonable >> to make the GUI just use the system's sans serif alias by default? > > The DejaVu font are automatically not used if not available. > See the file .../share/frama-c/frama-c.rc for the default order > in which fonts are searched. As far as we know, this > configuration file works out of the box for all of Windows, > Linux distributions with a standard Gnome installation, > and Mac OS X (the latter anyway having the restriction that > you *must* install the DejaVu fonts because the fallback > mechanism for missing mathematical glyphs does not work > yet in GTK+). > > On a related note, the Mac OS X binaries can now be downloaded from: > http://frama-c.cea.fr/download.html > > Pascal > > PS: Menlo, a new monospace font in Snow Leopard, > contains all the glyphs used by Frama-C. This is an alternative > if you don't want to install DejaVu. It is a nice programmer's font. > > > _______________________________________________ > 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