--- layout: fc_discuss_archives title: Message 119 from Frama-C-discuss on October 2008 ---
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