--- layout: fc_discuss_archives title: Message 99 from Frama-C-discuss on February 2012 ---
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.