--- layout: fc_discuss_archives title: Message 88 from Frama-C-discuss on May 2010 ---
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