--- layout: fc_discuss_archives title: Message 99 from Frama-C-discuss on February 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-c_stdlib error



Le 24/02/2012 09:27, Jens Gerlach a ?crit :
> Frama-C is not good with standard headers.
> If I remember correctly there is a limits.h that comes with Frama-C but not much more.

In Nitrogen version, you have many headers in share/libc
which are installed for me in /usr/local/share/frama-c/libc.
To tell Frama-C to use this directory while preprocessing,
you have to use :
   -cpp-extra-args="-I`frama-c -print-path`/libc"

Hope this help.
-- 
Anne.