Skip to content
Snippets Groups Projects
Normal view Permalink
get-frama-c.html 4.83 KiB
Newer Older
Augustin Lemesle's avatar
Change to jekyll
Augustin Lemesle committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 
---

layout: default
---
<body class="page-template page-template-page-get-framac page-template-page-get-framac-php page page-id-52 nonTouch"> <div id="wrapper" class="hfeed"> <header class="siteHeader" id="site_header"><div id="header_iv_point" class="inviewTop"></div><span class="brandLogo"><a href="../index.html" rel="home" title="Frama-C"><img src="/assets/img/framac.gif" alt="" /><span>Frama-C</span></a></span><a role="button" id="menu_toggle" class="menuToggle"><span class="open"><i></i><i></i><i></i></span><span class="close"><i></i><i></i></span></a> <nav id="menu" role="navigation"> <div class="menu-primary-meny-container"><ul id="menu-primary-meny" class="menu"><li id="menu-item-25" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-25"><a href="/html/using-frama-c.html">Using Frama C</a></li><li id="menu-item-26" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-26"><a href="/html/kernel-plugin.html">Kernel &#038; Plugins</a></li><li id="menu-item-27" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-27"><a href="/html/contact.html">Contact</a></li><li id="menu-item-28" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-28"><a href="/html/documentation.html">Documentation</a></li><li id="menu-item-29" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-29"><a href="/html/blog.html">Blog</a></li></ul></div><a role="button" href="index.html" id="header_download_link" class="btnDownload"><span><i class="icon icon-curly-left"></i><i class="icon icon-download-arrow"></i><i class="icon icon-curly-right"></i></span></a> </nav> </header> <div id="container" class="mainContainer"><div class="getFramaC"> <div class="wrap"> <h1 class="pageTitle">Choose for which terminal 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</b></a> </div> <div class="otherConfiguration">If you have a different configuration, <a target="_blank" href="https://github.com/Frama-C" class="lineMove">click here</a></div> <div class="notebook code"> <div> <div class="codeScreen"><div class="codeTab tab-linux hide"> <pre style='color:#000000;'>opam <span style='color:#400000; '>list</span> <span style='color:#808030; '>-</span>a         <span style='color:#696969; '># List the available packages</span>
opam install lwt     <span style='color:#696969; '># Install LWT</span>
opam <span style='color:#400000; '>update</span>          <span style='color:#696969; '># Update the package list</span>
<span style='color:#808030; '>.</span><span style='color:#808030; '>.</span><span style='color:#808030; '>.</span>
opam upgrade         <span style='color:#696969; '># Upgrade the installed packages to their latest version</span>
</pre></div><div class="codeTab tab-mac hide"> <pre style='color:#000020;background:#f6f8ff;'>opam install depext
opam depext frama<span style='color:#308080; '>-</span>c

<span style='color:#595979; '># remove the previous version of frama-c</span>
opam remove <span style='color:#308080; '>-</span><span style='color:#308080; '>-</span>force frama<span style='color:#308080; '>-</span>c frama<span style='color:#308080; '>-</span>c<span style='color:#308080; '>-</span>base

<span style='color:#595979; '># optional packages, but recommended (for efficiency, and for the GUI)</span>
opam install depext
opam depext zarith lablgtk conf<span style='color:#308080; '>-</span>gtksourceview conf<span style='color:#308080; '>-</span>gnomecanvas
opam install zarith lablgtk conf<span style='color:#308080; '>-</span>gtksourceview conf<span style='color:#308080; '>-</span>gnomecanvas

<span style='color:#595979; '># install custom version of frama-c</span>
opam pin <span style='color:#400000; '>add</span> frama<span style='color:#308080; '>-</span>c<span style='color:#308080; '>-</span>base &lt;dir>
</pre></div><div class="codeTab tab-windows hide"> <pre style='color:#d1d1d1;background:#000000;'><span style='color:#9999a9; '># First you need to install OPAM</span>
opam install frama<span style='color:#d2cd86; '>-</span>c

<span style='color:#9999a9; '># To get the exact list of packages</span>
opam install depext
opam depext frama<span style='color:#d2cd86; '>-</span>c

<span style='color:#9999a9; '># optional packages, but recommended (for efficiency, and for the GUI)</span>
opam install depext
opam depext zarith lablgtk conf<span style='color:#d2cd86; '>-</span>gtksourceview conf<span style='color:#d2cd86; '>-</span>gnomecanvas
opam install zarith lablgtk conf<span style='color:#d2cd86; '>-</span>gtksourceview conf<span style='color:#d2cd86; '>-</span>gnomecanvas
</pre></div> </div> </div> </div> </div></div>{% include footer.html %}<div class="clear"></div></div></div></body>