--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on June 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Error while loading C file



Hello,
While loading my file into frama-c it showing this error.

[kernel] preprocessing with "gcc -C -E -I.
D:\Project2\Os\Common\TestCases\App_Os_Alarm\src\App_Os_Alarm.c"
[kernel] user error: failed to run: gcc -C -E -I.  -o
"C:\Users\GAURAV~1\AppData\Local\Temp\App_Os_Alarm.c294e0d.i"
"D:\Project2\Os\Common\TestCases\App_Os_Alarm\src\App_Os_Alarm.c"
                     you may set the CPP environment variable to select the
proper preprocessor command or use the option "-cpp-command".
[kernel] user error: skipping file
"D:\\Project2\\Os\\Common\\TestCases\\App_Os_Alarm\\src\\App_Os_Alarm.c"
that has errors.

How to solve this error ?
I am using Frama-c Boron 20100401 (installed using Windows Binary installer)

Thanks

Regards,
Gaurav
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150603/90175690/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: error.png
Type: image/png
Size: 95460 bytes
Desc: not available
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150603/90175690/attachment-0001.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: App_Os_Alarm.c
Type: text/x-csrc
Size: 2462 bytes
Desc: not available
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150603/90175690/attachment-0001.c>