Frama-C-discuss mailing list archives
This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] make error for "Hello Frama-C World" plugin
- Subject: [Frama-c-discuss] make error for "Hello Frama-C World" plugin
- From: Julien.Signoles at cea.fr (Julien Signoles)
- Date: Thu, 30 Sep 2010 14:47:08 +0200
- In-reply-to: <1904a60c.194da.12b575241c5.Coremail.chaojianhu@163.com>
- References: <1904a60c.194da.12b575241c5.Coremail.chaojianhu@163.com>
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
- References:
- [Frama-c-discuss] make error for "Hello Frama-C World" plugin
- From: chaojianhu at 163.com (chaojianhu)
- [Frama-c-discuss] make error for "Hello Frama-C World" plugin
- Prev by Date: [Frama-c-discuss] frama-c outputs errors in jessie tutorial
- Next by Date: [Frama-c-discuss] frama-c outputs errors in jessie tutorial
- Previous by thread: [Frama-c-discuss] make error for "Hello Frama-C World" plugin
- Next by thread: [Frama-c-discuss] Specification of libm functions [was: Re: [Coq-Club] Problem with Gappa installation]
- Index(es):