--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on May 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C Jessie, stdlib.h



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>