--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on June 2015 ---
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>