--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on June 2010 ---
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