boron-why-2.24.html 1.39 KB
Newer Older
1
---
2
3
layout: installation_page
version: boron-why
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
title: Installation instructions for Frama-C Boron release
---

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