--- layout: fc_discuss_archives title: Message 42 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



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