--- layout: doc_page title: Installation instructions for Frama-C Hydrogen release ---
Assuming OCaml (and the LablGtk2 bindings for the GUI) are installed, the following commands should be enough to compile Frama-C:
tar zxvf frama-c-Hydrogen-20080502.tar.gz cd frama-c-Hydrogen-20080502 ./configure make make install
The binaries frama-c (and frama-c-gui if you have LablGtk2) are installed in /usr/local/bin. See below for more detailed instructions.
The following environments have been verified to compile Frama-C:
Other distributions may also be able to compile Frama-C provided they have the following tools:
Ocamlgraph and the Why platform are included in this distribution. Note that the Why platform is installed together with Frama-C (if the jessie plug-in is enabled), and might overwrite an existing why installation. The current distributed version of Why is not compatible with Frama-C.
Frama-C is configured by ./configure [options]
The configure file is generated by autoconf, so that the standard options for setting installation directories are available, in particular --prefix=/path. A plugin can be enabled by --enable-plugin and disabled by --disable-plugin. By default, all distributed plugins are enabled. See ./configure --help for the current list of plugins. Those who defaults to 'no' are not part of the Frama-C distribution (usually because they are currently too experimental to be released).
make
Interesting Makefile targets are:
make install
Depending on the installation directory, this may require superuser privileges. This installs the following binary files:
Shared files are installed into the directory share/frama-c. It contains some .h files used as prelude by Frama-C.
As stated above, the Why platform is installed if you have enabled the jessie plug-in.