--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on September 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] error when install frama-c



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