--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on October 2009 ---
Hello, this is intended to complement Benjamin's answer. > Anyways, I am > having some simple startup configuration problems in starting up Frama-C and > trying out the example "first.c" as shown on the website. I see there are > ample instructions for installing on Linux, but has anyone written down > instructions and dependencies for a Windows installation? The instructions may seem to occupy more space for Linux, but it's only because it is more difficult to install Frama-C on Linux :) Windows is 100% supported, and some of our existing industrial partners use it (I think) exclusively. > In particular, when I run the following example command line I get the > following errors: > > C:\Frama-C>frama-c-gui -slevel 10 -val first.c > > 'gcc' is not recognized as an internal or external command, > > operable program or batch file. It seems that if you want to run the example without having to dig into the manual, you must have GCC installed under the name gcc and in your path. If this condition is true in your environment, the error message is very strange and we will need to study it further. If the condition is false, could you suggest a better default pre-processing command for Windows, a command that Frama-C's Windows version could try when this one fails? To make it work now without fixing Frama-C, the workarounds suggested by Benjamin are your best options. I fixed a couple of grammar issues today in the manual he linked to. The changes will take a short while to propagate to the web site, but anyway, I'm always glad to have my mistakes pointed to me by a native speaker. Regards, Pascal