--- layout: fc_discuss_archives title: Message 51 from Frama-C-discuss on November 2009 ---
Hi everybody! I don't know yet in which mail list I should send this message, because I have the same problem in both GUI's. I installed Frama-C Beryllium in Mac OS Snow Leopard, following the notes: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-September/001390.html Everything was correctly installed. I tried first to run the frama-c-gui, and the result was a mess. It seems that the font is not correct. -------------- next part -------------- A non-text attachment was scrubbed... Name: PastedGraphic-1.tiff Type: image/tiff Size: 57318 bytes Desc: not available Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091117/d66a3148/attachment-0001.tiff -------------- next part -------------- I got the same result with gwhy. In gwhy the error message presented was the following: (gwhy-bin:76797): Pango-WARNING **: shaping failure, expect ugly output. shape-engine='BasicEngineFc', font='Bitstream Vera Sans Mono 10', text='m:' (gwhy-bin:76797): Pango-WARNING **: shaping failure, expect ugly output. shape-engine='BasicEngineFc', font='Lucida Grande Medium 12', text='Alt-Ergo' What should I do? How do I fix this? Thanks in advance. Best regards, B?rbara