Newer
Older
---
<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</b></a>
</div>
<a href="/html/framac-versions.html" class="previousVersion">Previous Versions</a>
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
<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;background:#f9f9f9;'>opam <span style='color:#400000;'>list</span> <span style='color:#808030;'>-</span>a <span style='color:#696969;'># List the available packages</span></br>opam install lwt <span style='color:#696969;'># Install LWT</span></br>opam <span style='color:#400000;'>update</span> <span style='color:#696969;'># Update the package list...</span></br>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 <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>
{% include footer.html %}
<div class="clear"></div>
</div>
</div>