--- layout: fc_discuss_archives title: Message 88 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.

I have some problems with Frama-C Beryllium version.
I installed frama-c-Beryllium-20090902_installer.exe on WindowsXP.
Then I installed Cygwin 1.7.5 containing gcc. And set environment variable as it is said in http://frama-c.com/windows_beryllium-20090902.html:
    * PATH to C:\Frama-C\bin
    * OCAMLLIB to C:\Frama-C\lib
    * CAML_LD_LIBRARY_PATH to C:\Frama-C\lib\stublibs
And also added c:\Cygwin\bin\gcc to PATH variable. 

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.   -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.

What can be wrong?

Thanks for the answer.

Best regards,
Genja