Commit 4b931410 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Merge branch 'feature/installation/details-release' into 'master'

More detailed installation page

See merge request pub.frama-c.com!113
parents 3e6a5548 ec861ba2
---
layout: default
css: documentation
---
<body class="page nonTouch">
<div id="wrapper" class="hfeed">
<div id="container" class="mainContainer">
<div class="tabs">
<div class="pageKernel pages">
<div class="wrap">
{% include headers.html header="documentation" %}
{% assign versions = site.fc-versions | reverse %}
{% if versions[0].beta %}
{% assign beta = versions[0].name | downcase %}
{% assign latest = versions[1].name | downcase %}
{% else %}
{% assign latest = versions[0].name | downcase %}
{% endif %}
{% unless page.version == latest %}
{% if beta and beta == page.version %}
{% assign text = "a beta" %}
{% else %}
{% assign text = "an older" %}
{% endif %}
<p>
<b>Note:</b> these instructions refer to {{ text }} release of Frama-C;
for the latest stable release, click
<a href="/html/installations/{{ latest }}.html">here</a>
</p>
{% endunless %}
{{ content }}
</div>
</div>
{% include footer.html %}
<div class="clear"></div>
</div>
</div>
---
layout: doc_page
layout: installation_page
version: aluminium
title: Installation instructions for Aluminium
---
<h1 id="installing-frama-c">Installing Frama-C</h1>
<h1 id="installing-frama-c">Installing Frama-C Aluminium (released on 2016-05-02)</h1>
<h2 id="table-of-contents">Table of Contents</h2>
<ul>
<li><a href="#recommended-mode-opam">Recommended mode: OPAM</a></li>
......
---
layout: doc_page
layout: installation_page
version: argon
title: Installation instructions for 18.0 Argon
---
<h1 id="installing-frama-c">Installing Frama-C</h1>
<h1 id="installing-frama-c">Installing Frama-C Argon (released on 2018-10-29)</h1>
<h2 id="table-of-contents">Table of Contents</h2>
<ul>
<li><a href="#installing-frama-c">Installing Frama-C</a>
......
---
layout: doc_page
layout: installation_page
version: beryllium-osx
title: Installation instructions for Frama-C Beryllium release
---
<h1>Mac OS X Leopard installation for Frama-C Beryllium</h1>
<h1>Mac OS X Leopard installation for Frama-C Beryllium (released on 2009-09-02)</h1>
<p>
You need to be familiar with Unix to make use of this binary distribution.
......
---
layout: doc_page
layout: installation_page
version: beryllium-why
title: Installation instructions for Frama-C Beryllium release
---
......@@ -7,6 +8,7 @@ title: Installation instructions for Frama-C Beryllium release
-------------------------------------------
INSTALLATION INSTRUCTIONS for FRAMA_C + WHY
-------------------------------------------
(released on 2009-09-02)
===============================================================================
SUMMARY
......
---
layout: doc_page
layout: installation_page
version: beryllium-windows-2
title: Installation instructions for Frama-C Beryllium release
---
<h1>Windows installation for Frama-C Beryllium</h1>
<h1>Windows installation for Frama-C Beryllium (released on 2009-09-02)</h1>
<p>
Run the Windows installer <tt>frama-c-Beryllium-20090902_installer.exe</tt>.
......
---
layout: doc_page
layout: installation_page
version: beryllium-windows
title: Installation instructions for Frama-C Beryllium release
---
<h1>Windows installation for Frama-C Beryllium</h1>
<h1>Windows installation for Frama-C Beryllium (released on 2009-09-02)</h1>
<p>
Run the Windows installer <tt>frama-c-Beryllium-20090901_installer.exe</tt>.
......
---
layout: doc_page
layout: installation_page
version: beryllium
title: Installation instructions for Frama-C Beryllium release
---
<pre>
-------------------------
INSTALLATION INSTRUCTIONS
-------------------------
-----------------------------------------------
INSTALLATION INSTRUCTIONS FOR FRAMA-C BERYLLIUM
-----------------------------------------------
(released on 2009-09-02)
===============================================================================
SUMMARY
......
---
layout: doc_page
layout: installation_page
version: boron-osx
title: Installation instructions for Frama-C Boron release
---
<h1>Mac OS X Leopard installation for Frama-C Boron</h1>
<h1>Mac OS X Leopard installation for Frama-C Boron (released on 2010-04-01)</h1>
<pre>
This is the binary release of Frama-C for Mac OS X Intel (Leopard and
......
---
layout: doc_page
layout: installation_page
version: boron-why
title: Installation instructions for Frama-C Boron release
---
......@@ -7,6 +8,7 @@ title: Installation instructions for Frama-C Boron release
-------------------------------------------
INSTALLATION INSTRUCTIONS for FRAMA_C + WHY
-------------------------------------------
(released on 2010-04-01)
===============================================================================
SUMMARY
......
---
layout: doc_page
layout: installation_page
version: boron-windows
title: Installation instructions for Frama-C Boron release
---
<h1>Windows installation for Frama-C Boron</h1>
<h1>Windows installation for Frama-C Boron (released on 2010-04-01)</h1>
<p>
Run the Windows installer <tt>Frama-C-Boron-20100401.exe</tt>.
......
---
layout: doc_page
layout: installation_page
version: boron
title: Installation instructions for Frama-C Boron release
---
<pre>
-------------------------
INSTALLATION INSTRUCTIONS
-------------------------
-------------------------------------------
INSTALLATION INSTRUCTIONS FOR FRAMA-C BORON
-------------------------------------------
(released on 2010-04-01)
===============================================================================
SUMMARY
......
---
layout: doc_page
layout: installation_page
version: calcium
title: Installation instructions for Calcium
---
<h1 id="installing-frama-c">Installing Frama-C</h1>
<h1 id="installing-frama-c">Installing Frama-C Calcium (released on 2019-12-04)</h1>
<ul>
<li><a href="#installing-frama-c">Installing Frama-C</a>
<ul>
......
---
layout: doc_page
layout: installation_page
version: carbon-osx
title: Installation instructions for Frama-C Carbon release
---
<h1>Mac OS X Leopard installation for Frama-C Carbon</h1>
<h1>Mac OS X Leopard installation for Frama-C Carbon (released on 2011-02-01)</h1>
<pre>
This is the binary release of Frama-C for Mac OS X.
......
---
layout: doc_page
layout: installation_page
version: carbon-beta
title: Installation instructions for Frama-C Carbon beta
---
<pre>
-------------------------
INSTALLATION INSTRUCTIONS
-------------------------
--------------------------------------------
INSTALLATION INSTRUCTIONS FOR FRAMA-C CARBON
--------------------------------------------
(released on 2010-12-02)
===============================================================================
SUMMARY
......
---
layout: doc_page
layout: installation_page
version: carbon-wp
title: Installation instructions for Frama-C WP Carbon
---
......
---
layout: doc_page
layout: installation_page
version: carbon
title: Installation instructions for Frama-C Carbon release
---
<pre>
-------------------------
INSTALLATION INSTRUCTIONS
-------------------------
--------------------------------------------
INSTALLATION INSTRUCTIONS FOR FRAMA-C CARBON
--------------------------------------------
(released on 2011-02-01)
===============================================================================
SUMMARY
......
---
layout: doc_page
layout: installation_page
version: chlorine
title: Installation instructions for Chlorine
---
<h1 id="installing-frama-c">Installing Frama-C</h1>
<h1 id="installing-frama-c">Installing Frama-C Chlorine (released on 2018-05-02)</h1>
<h2 id="table-of-contents">Table of Contents</h2>
<ul>
<li><a href="#installing-frama-c">Installing Frama-C</a>
......
---
layout: doc_page
layout: installation_page
version: fluorine-1
title: Installation instructions for Frama-C Fluorine
---
<pre>
-------------------------
INSTALLATION INSTRUCTIONS
-------------------------
----------------------------------------------
INSTALLATION INSTRUCTIONS FOR FRAMA-C FLUORINE
----------------------------------------------
(released on 2013-04-01)
===============================================================================
SUMMARY
......
---
layout: doc_page
layout: installation_page
version: fluorine-2
title: Installation instructions for Frama-C Fluorine 2
---
<pre>
-------------------------
INSTALLATION INSTRUCTIONS
-------------------------
----------------------------------------------
INSTALLATION INSTRUCTIONS FOR FRAMA-C FLUORINE
----------------------------------------------
(released on 2013-05-01)
===============================================================================
SUMMARY
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment