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 %}