--- layout: doc_page title: Installation instructions for Frama-C Boron release ---
------------------------------------------- INSTALLATION INSTRUCTIONS for FRAMA_C + WHY ------------------------------------------- =============================================================================== SUMMARY =============================================================================== 0) Summary 1) Installation Instructions 2) Additional Instructions =============================================================================== INSTALLATION INSTRUCTIONS =============================================================================== Run the following commands from the directory containing the Frama-C source. ./configure make make install (may require superuser right) cd why ./configure make make install (may require superuser right) =============================================================================== ADDITIONAL INSTRUCTIONS =============================================================================== Please refer to the specific installation instructions for Frama-C and Why: - file INSTALL of Frama-C - file INSTALL of Why =============================================================================== HAVE FUN WITH FRAMA-C AND WHY! ===============================================================================