--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on November 2017 ---
Dear Frama-C Developers, Iâm using your project with slicing and metrics opetion, I have found some problems I can not fix, while Iâm facing a deadline I decided to ask for help from you. I use the follwing command: gcc -E -C -I.  -dD -D__FRAMAC__  -nostdinc -D__FC_MACHDEP_X86_32 -I/usr/share/frama-c/libc -I../include -I../lib -o tool_help.i tool_help.c and it will creat tool_help.i, but when I use this .i file it fails with frame-c with the follwing error: [kernel] Parsing FRAMAC_SHARE/libc/__fc_builtin_for_normalization.i (no preprocessing) [kernel] Parsing tool_help.i (no preprocessing) [kernel] syntax error at /root/old/curl/lib/curl_setup_once.h:175:      173  #ifndef sread      174   /* */      175   Error Missing_definition_of_macro_sread         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^      176   /* */      177  #endif [kernel] Frama-C aborted: invalid user input. The code is from curl github, (/curl/src). Please if you kbow whatâs wrong, let me know. I have already tried evry possible workaround. Thanks in advance. â Regards, Rooney -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20171113/47971702/attachment.html>