User Tools

  • Logged in as: anonymous (anonymous)
  • Logout

Site Tools


mantis:frama-c:start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

mantis:frama-c:start [2013/06/11 21:22]
virgile
mantis:frama-c:start [2016/02/17 09:12] (current)
maroneze [Compilation and Installation]
Line 20: Line 20:
 ====== Compilation and Installation ====== ====== Compilation and Installation ======
  
-Binaries for Frama-C are available on [[http://​frama-c.com/​download.html|this page]]. ​If no binary exists for your system, [[mantis:​frama-c:​compiling_from_source|instructions for compiling from source]] are available.+Current and old releases of Frama-C are available on [[http://​frama-c.com/​download.html|this page]]. ​It contains the official installation ​instructions for supported systems.
  
 +Otherwise, [[mantis:​frama-c:​compiling_from_source|this Frama-C wiki page]] contains extra instructions for compiling from source on non-supported platforms. It also contains instructions for compiling older releases.
  
 ====== FAQ, Tips and Tricks ====== ====== FAQ, Tips and Tricks ======
mantis/frama-c/start.txt ยท Last modified: 2016/02/17 09:12 by maroneze