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

[Frama-c-discuss] make error for "Hello Frama-C World" plugin



Hello,

Le 28/09/2010 09:50, chaojianhu a ??crit :
> Dear Frama-C users,
> The hello_world plugin in "Plug-in Development Guide Release
> Boron-20100401"
> can't make on my windows xp sp3.
> My platform configure are frama-c-Boron-20100401.exe and cygwin.
> The error I have encountered is:
> Makefile.plugin:604: *** missing `endif'. Stop
> thanks!

Quite surprising since nobody else reports this issue (even users which 
develop their own plug-ins on Windows/Cygwin-i-don't-know-which-version).

What is your version of make? Gnu Make 3.81 is expected. If your version 
of Make is ok, please could you provide us a fully reproducible example 
via the Frama-C BTS (http://bts.frama-c.com) ?

Regards,
Julien Signoles
-- 
Researcher-engineer
CEA LIST, Software Safety Labs
91191 Gif-Sur-Yvette Cedex
tel:(+33)1.69.08.82.98  fax:(+33)1.69.08.83.95  Julien.Signoles at cea.fr