--- layout: fc_discuss_archives title: Message 59 from Frama-C-discuss on April 2010 ---
> Before writing this email, I decided to try once more installing Beryllium > binaries. And surprisingly it worked. :) I am not sure this is because of > installing Macports or it is because of the separate installations I did > ?before trying to compile Beryllium. Googling for the error message leads to discussions of other people having problems with Pango, and it's also on Mac OS X: http://leho.kraav.com/news/2009/04/15/firefox-3-possibly-other-apps-random-crashing-on-os-x-due-to-font-cache-corruption/ >>> Tue Apr 20 12:49:37 Macintosh-2.local frama-c-gui[1243]<Error>: >>> GCGetStrikeMetrics failed: error 4. If the problem comes back, it will be time to look into the suggested solutions there. Pascal