Currently (September 2014), Frama-C is installed most easily on UNIX-like operating systems, which include GNU/Linux, MacOS X, FreeBSD, OpenBSD. Ubuntu is one of many Linux distributions.
For installation on MSWindows, refer to the instructions in frama-c_windows.txt — Thanks to Yuriy!
Most Linux distributions come with (at least one) package manager; on MacOS X, use MacPorts. You need to know how to use your system's package manager.
(If your package manager provides Frama-C, check whether it is the latest version, namely Neon-20140301.)
Frama-C is implemented in OCaml; the easiest way to install the latest version of Frama-C should be using the OCaml package manager OPAM. (This is a separate package manager for packages implemented in OCaml. Once you use OPAM for OCaml packages, it is in general wise to not use your system package manager for these packages any more.)
opam list -aThis should produce a long list of available packages, with short descriptions. If it does not, you need to initialize OPAM — follow the instructions there carefully.
opam install frama-c why
opam install coqide altgr-ergo
Some distribution-specific hints:
sudo apt-get install build-essential m4 autoconf libgmp-dev libgnomecanvas2-dev libgtk2.0-dev libgtksourceview2.0-dev(See e.g. here for more info.)
-dev
.
When OPAM fails to install OPAM package conf-XYZ
,
then you will likely need package XYZ-dev
(or at
least XYZ
)
from your Linux distribution.