--- layout: fc_discuss_archives title: Message 92 from Frama-C-discuss on May 2010 ---
On Tue, 2010-05-25 at 00:07 +0400, Evgenija Eremenko wrote: > [kernel] user error: failed to run: gcc -C -E -I. -o "C:\DOCUME~1\genja\LOCALS~1\Temp\first.c4d3990.i" "example\first.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 "example\\first.c" that has errors. I had the same problem too some months ago on Windows XP and cygwin. I found no solution for it. -Boris