Note: these instructions refer to an older release of Frama-C; for the latest stable release, click here

		  -------------------------------------------
		  INSTALLATION INSTRUCTIONS for FRAMA_C + WHY
		  -------------------------------------------
		          (released on 2009-09-02)

===============================================================================
				    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!
===============================================================================