--- layout: fc_discuss_archives title: Message 119 from Frama-C-discuss on October 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Lithium beta 1 release under Mac OS X (first impression)



Dear Frama-C developers,

thanks for the Lithium-release of Frama-C!
I can tell you that it was keenly awaited at Fraunhofer FIRST.

I have just installed it under Mac OS X (overwriting Helium).
Installation went smoothly, except a warning regarding the  
configuration of jessie.

	configure: jessie               : partial (see warning about /usr/ 
local/lib/apron.a,/usr/lib/apron.a)

Is this something to worry about?

After installation I also run why-config.

I tested Jessie (gWhy) on some of our ACSL examples and it appears
that there are more missed proof obligation.
I intend to reinstall both MacPorts and Lithium and try again.

Best regards

Jens Gerlach