--- layout: default css: get-framac title: Get Frama-C ---
{% include headers.html %}

Choose for which OS you want Frama C


Previous Versions
If you have a different configuration, or for troubleshooting click here
# install Fram-C's dependencies
opam install depext
opam depext frama-c

# install Frama-C
opam install frama-c
# install required dependencies for Frama-C
brew install gmp gtk+ gtksourceview libgnomecanvas

# configure the graphical library
export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig:/usr/local/opt/libxml2/lib/pkgconfig:/usr/local/lib/pkgconfig

# install recommended dependencies for Frama-C
brew install graphviz

# install Frama-C
opam install frama-c
# to install OPAM
sudo add-apt-repository -y ppa:avsm/ppa
sudo apt update
sudo apt upgrade
sudo apt install make m4 gcc opam

# OPAM setup
opam init --disable-sandboxing -c 4.05.0 --shell-setup
eval $(opam env)
opam install -y depext

# install OPAM
opam depext --install -y lablgtk3 lablgtk3-sourceview3
opam depext --install -y frama-c
{% include footer.html %}