--- layout: fc_discuss_archives title: Message 89 from Frama-C-discuss on May 2010 ---
Hello, > And also added c:\Cygwin\bin\gcc to PATH variable. This should be enough... > But when I try to go the example given at http://frama-c.com/try_out.html I see this: > [kernel] preprocessing with "gcc -C -E -I. ? example\first.c" > [kernel] user error: failed to run: gcc -C -E -I. ?... This is strange. What happens when you launch gcc youself, that is, by typing "gcc" at the prompt? What happens when you type? gcc -C -E -I. example\first.c Should that backslash really be a backslash? What happens if you replace it with a slash "/" ? As a workaround, you can rename first.c as first.i. This will indicate that this file should be considered as already having been pre-processed. Best regards, Pascal