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