--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on June 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Installing Boron



Hi Boris,

> Unless this is a bug in the makefile, this should be mentioned in the
> INSTALL file. There's another file INSTALL_WITH_WHY which merely
> contains default instructions, ie ./configure, make, make install. This
> file didn't help me and should be removed.

Well, the "unnecessary" file INSTALL_WITH_WHY does contain the
following instructions (copied and pasted
from a freshly downloaded and untarred archive from frama-c.com):
<quote "INSTALL_WITH_WHY" >
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)
</quote>

Isn't that exactly what you were looking/asking for ?

Cheers,
-- 
Richard Bonichon