Choose for which terminal you want Frama C

If you have a different configuration, click here
opam list -a         # List the available packages
opam install lwt # Install LWT
opam update # Update the package list...
opam upgrade # Upgrade the installed packages to their latest version
opam install depext
opam depext frama-c

# remove the previous version of frama-c
opam remove --force frama-c frama-c-base

# optional packages, but recommended (for efficiency, and for the GUI)
opam install depext
opam depext zarith lablgtk conf-gtksourceview conf-gnomecanvas
opam install zarith lablgtk conf-gtksourceview conf-gnomecanvas

# install custom version of frama-c
opam pin add frama-c-base <dir>
# First you need to install OPAM
opam install frama-c

# To get the exact list of packages
opam install depext
opam depext frama-c

# optional packages, but recommended (for efficiency, and for the GUI)
opam install depext
opam depext zarith lablgtk conf-gtksourceview conf-gnomecanvas
opam install zarith lablgtk conf-gtksourceview conf-gnomecanvas