--- layout: fc_discuss_archives title: Message 4 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




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                    |