Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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

  • Subject: [Frama-c-discuss] problem with installation of Frama-C Beryllium (2) for Mac OS X 10.5.8
  • From: naghmeh.ghafari at cslabs.com (Naghmeh Ghafari)
  • Date: Tue, 20 Apr 2010 14:23:49 -0700
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