--- layout: fc_discuss_archives title: Message 81 from Frama-C-discuss on September 2013 ---
> Are you sure you are NOT including system standard headers before > pre-processing your C files? You should use Frama-C version of > standard headers instead (in $FRAMA_C_PATH/share/frama-c/libc/). Dear David, Thanks for your prompt reply. Indeed. I was including system standard headers before pre-processing the C files. While I use gcc -C -E -I/$FRAMA_C_PATH/share/frama-c/libc -nostdinc test.c It failed to pre-process the file. Should I pre-process file like this: gcc -C -E -I/$FRAMA_C_PATH/share/frama-c/libc -I. test.c Thank you very much -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130912/f4f26eba/attachment-0001.html>