--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on October 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Windows Install



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