--- layout: doc_page title: Installation instructions for Frama-C Lithium release ---
Run the Windows installer frama-c-Lithium-20081201.exe. You may change the installation directory, but for simplicity, choose a directory path without any space.
The Frama-C installer also provides you with the following packages:
In order for Frama-C to run properly, you must have gcc installed and in your path.
You may recompile Frama-C from its source distribution, provided you have the Cygwin mingw port for gcc installed.