--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on May 2015 ---
On 04/27/2015 03:07 AM, Stephen Siegel wrote: > I?ve just installed Frama-C Sodium and Jessie 2.35 (OS X). I?m running > into a problem with anything that includes stdlib.h. I?m wondering if > others have this same problem or if I messed up the configuration somehow. No, you did nothing wrong. Jessie is not compatible with the stdlib.h distributed with Frama-C. Just don't include it. - Claude -- Claude March? | tel: +33 1 69 15 66 08 INRIA Saclay - ?le-de-France | Universit? Paris-sud, Bat. 650 | http://www.lri.fr/~marche/ F-91405 ORSAY Cedex |