--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on September 2009 ---
Hello, nam nam a ?crit : > I have a problem when I try to install frama - c. > > I have installed ocaml 3.11 and then I have used ./configure command. > The result of this command is attached in this email > > When I use make command I have received the message > > "make: *** No targets specified and no makefile found. Stop." > > I have tried to solve it but frama-c does not work. > > Anyone help me, please? Which version of Frama-C are you using? I am not able to reproduce your problem with the latest release (Beryllium-20090901). If it's still present in this release, please open a new task on the Frama-C's BTS (http://bts.frama-c.com). Thank's for the report, Julien Signoles -- Researcher-engineer CEA LIST, Software Reliability Lab 91191 Gif-Sur-Yvette Cedex tel:(+33)1.69.08.71.83 fax:(+33)1.69.08.83.95 Julien.Signoles at cea.fr