--- layout: fc_discuss_archives title: Message 89 from Frama-C-discuss on May 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] installation of Frama-C-beryllium



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