Note: these instructions refer to an older release of Frama-C; for the latest stable release, click here

Windows installation for Frama-C Boron (released on 2010-04-01)

Run the Windows installer Frama-C-Boron-20100401.exe. You may change the installation directory, but for simplicity, choose a directory path without any space.

The following environment variables will be set by the installer and potentially overridden: FRAMAC_SHARE, FRAMAC_LIB, FRAMAC_PLUGIN, OCAMLLIB, WHYLIB, ERGOLIB.

The Frama-C installer also provides you with the following packages:

Ocaml bytecode and native compiler version 3.11.2.
GTK+ binaries and pre-installed LablGTK2 library for Ocaml.
Why 2.26 binaries including the Jessie plugin.
Alt-Ergo 0.91 binaries.

Requirements

In order for Frama-C to run properly, you should have gcc pre-processor installed and in your path. Consult the Value Analysis manual for additional instruction on preprocessing options.

You may recompile Frama-C from its source distribution with the Ocaml environment, and develop your own plug-ins. However, you must install the Cygwin make utilities and the coresponding mingw port for gcc to compile to native code with Ocaml.