Choose for which terminal you want Frama C
opam list -a # List the available packagesopam install lwt # Install LWTopam 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
{% include footer.html %}