--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on May 2015 ---
Hi, If I might add something, since Sodium, Frama-C's stdlib takes precedence over the one of the system. You can deactivate this behavior using the option -no-frama-c-stdlib. (But you will lose all the ACSL specifications already written.) HTH, On Fri, May 1, 2015 at 9:36 AM, Claude Marche <Claude.Marche at inria.fr> wrote: > > > 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 | > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > -- Boris -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150505/420d7834/attachment.html>