--- layout: fc_discuss_archives title: Message 42 from Frama-C-discuss on April 2010 ---
Hello, I am a new user of Frama-C. I am trying to install the Frama-C Beryllium (2) for Mac OS X 10.5.8 Intel (the distribution that includes Why 2.23). I have followed all the instructions in the README file. But I get the following error. Macintosh-2:~ nghafari$ frama-c-gui -slevel 10 first.c [kernel] warning: cannot load file "/usr/local/Frama-C_Be/lib/frama-c/plugins/._Jessie.cmxs" (dynlink error "error loading shared library: dlopen(/usr/local/Frama-C_Be/lib/frama-c/plugins/._Jessie.cmxs, 138): no suitable image found. Did find: /usr/local/Frama-C_Be/lib/frama-c/plugins/._Jessie.cmxs: unknown file type, first eight bytes: 0x00 0x05 0x16 0x07 0x00 0x02 0x00 0x00") [kernel] warning: cannot load file "/usr/local/Frama-C_Be/lib/frama-c/plugins/._Ltl_to_acsl.cmxs" (dynlink error "error loading shared library: dlopen(/usr/local/Frama-C_Be/lib/frama-c/plugins/._Ltl_to_acsl.cmxs, 138): no suitable image found. Did find: /usr/local/Frama-C_Be/lib/frama-c/plugins/._Ltl_to_acsl.cmxs: unknown file type, first eight bytes: 0x00 0x05 0x16 0x07 0x00 0x02 0x00 0x00") Tue Apr 20 12:49:37 Macintosh-2.local frama-c-gui[1243] <Error>: GCGetStrikeMetrics failed: error 4. (frama-c-gui:1243): Pango-CRITICAL **: pango_glyph_string_set_size: assertion `new_len >= 0' failed Bus error Then I tried to install the distribution with Why 2.21 (without jesse), I still get the error: Macintosh-2:/ nghafari$ frama-c-gui -slevel 10 first.c Tue Apr 20 13:51:19 Macintosh-2.local frama-c-gui[1469] <Error>: GCGetStrikeMetrics failed: error 4. (frama-c-gui:1469): Pango-CRITICAL **: pango_glyph_string_set_size: assertion `new_len >= 0' failed Bus error I really appreciate any suggestion that may fix the problem. thanks, naghmeh