--- layout: fc_discuss_archives title: Message 59 from Frama-C-discuss on April 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] problem with installation of Frama-C Beryllium (2) for Mac OS X 10.5.8



> 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