--- layout: default css: get-framac title: Get Frama-C description: Download and install the Frama-C analysis platform now! ---
{% include headers.html header="download" %}

Choose for which OS you want Frama-C

Linux Mac Windows (WSL) 

# 1. Install opam (OCaml package manager)
sudo apt install opam # or dnf, pacman, etc.


# 2. Install Frama-C's dependencies
opam install depext
opam depext frama-c


# 3. Install Frama-C itself
opam install frama-c
# 1. Install Homebrew

# 2. Install required dependencies for Frama-C
brew install opam gmp gtk+ gtksourceview libgnomecanvas

# 3. Configure GTK library
export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig:/usr/local/opt/libxml2/lib/pkgconfig:/usr/local/lib/pkgconfig

# 4. Install recommended dependencies for Frama-C
brew install graphviz zmq

# 5. Finally install Frama-C
opam install frama-c
# 1. Prepare opam installation
sudo apt update
sudo apt upgrade
sudo apt install make m4 gcc opam

# 2. opam setup
opam init --disable-sandboxing --shell-setup
eval $(opam env)
opam install -y depext

# 3. Install graphical dependencies
opam depext --install -y lablgtk3 lablgtk3-sourceview3

# 4. Install Frama-C
opam depext --install -y frama-c
For detailed installation instructions, click here
All Frama-C releases are available from this page
{% if site.fc-versions.last.beta %}
The beta version of the next Frama-C release is available here
{% endif %}

Downloads

Frama-C and ACSL

Plug-ins

{% assign plugins = site.fc-plugins | where:"distrib_mode","main" %}
{% include footer.html %}