get-frama-c.html

---
layout: default
css: get-framac
title: Get Frama-C
---

  <div id="wrapper" class="hfeed">

	{% include headers.html %}

    <div id="container" class="mainContainer">
      <div class="getFramaC">
        <div class="wrap">
          <h1 class="pageTitle">Choose for which OS you want Frama C</h1>

          <div class="OS codeTabs">
            <a href="index.html#" role="button" data-tab="linux"><b>Linux</b></a> <a href="index.html#" role="button" data-tab=
            "mac"><b>Mac</b></a> <a href="index.html#" role="button" data-tab="windows"><b>Windows (WSL)</b></a>
          </div>
		  <br>
		  <a href="/html/framac-versions.html" class="previousVersion">Previous Versions</a>
          <div class="otherConfiguration">
            If you have a different configuration, or for troubleshooting <a target="_blank" href="https://git.frama-c.com/pub/frama-c/blob/master/INSTALL.md" class="lineMove">click
            here</a>
          </div>

          <div class="notebook code">
            <div>
              <div class="codeScreen">
                <div class="codeTab tab-linux hide">
                    <pre style='color:#000000;background:#f9f9f9;'>
<span style='color:#696969;'># install Fram-C's dependencies</span>
opam install depext
opam depext frama-c

<span style='color:#696969;'># install Frama-C</span>
opam install frama-c</pre>
                </div>

                <div class="codeTab tab-mac hide">
                    <pre style='color:#000020;background:#f6f8ff;'>
<span style='color:#595979;'># install required dependencies for Frama-C</span>
brew install gmp gtk+ gtksourceview libgnomecanvas

<span style='color:#595979;'># configure the graphical library</span>
export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig:/usr/local/opt/libxml2/lib/pkgconfig:/usr/local/lib/pkgconfig

<span style='color:#595979;'># install recommended dependencies for Frama-C</span>
brew install graphviz

<span style='color:#595979;'># install Frama-C</span>
opam install frama-c</pre>
                </div>

                <div class="codeTab tab-windows hide">
					<pre style='color:#d1d1d1;background:#000000;'>
<span style='color:#9999a9;'># to install OPAM</span>
sudo add-apt-repository -y ppa:avsm/ppa
sudo apt update
sudo apt upgrade
sudo apt install make m4 gcc opam

<span style='color:#9999a9;'># OPAM setup</span>
opam init --disable-sandboxing -c 4.05.0 --shell-setup
eval $(opam env)
opam install -y depext

<span style='color:#9999a9;'># install OPAM</span>
opam depext --install -y lablgtk3 lablgtk3-sourceview3
opam depext --install -y frama-c</pre>
                </div>
              </div>
            </div>
          </div>
        </div>
      </div>

	  {% include footer.html %}

      <div class="clear"></div>
    </div>
  </div>