Frama-C

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

Windows installation for Frama-C Lithium (released on 2008-12-01)

Run the Windows installer frama-c-Lithium-20081201.exe. You may change the installation directory, but for simplicity, choose a directory path without any space.

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

• Ocaml bytecode and native compiler version 3.11.0.
• GTK+ binaries and pre-installed LablGTK2 library for Ocaml.

Requirements

In order for Frama-C to run properly, you must have gcc installed and in your path.

You may recompile Frama-C from its source distribution, provided you have the Cygwin mingw port for gcc installed.