Choose for which OS you want Frama-C
sudo apt install opam
opam install depext
opam depext frama-c
opam install frama-c
brew install opam gmp gtk+ gtksourceview libgnomecanvas
export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig:/usr/local/opt/libxml2/lib/pkgconfig:/usr/local/lib/pkgconfig
brew install graphviz zmq
opam install frama-c
sudo apt update
sudo apt upgrade
sudo apt install make m4 gcc opam
opam init --disable-sandboxing -c 4.07.1 --shell-setup
eval $(opam env)
opam install -y depext
opam depext --install -y lablgtk3 lablgtk3-sourceview3
opam depext --install -y frama-c
Downloads