From mboxrd@z Thu Jan  1 00:00:00 1970
From: elfring@users.sourceforge.net (SF Markus Elfring)
Date: Sun, 07 Apr 2013 13:14:37 +0200
Subject: [Cocci] 1.0.0-rc17: Further fine-tuning for the build system?
In-Reply-To: <alpine.DEB.2.02.1304071302110.1951@hadrien>
References: <513268ED.5070703@users.sourceforge.net>
 <alpine.DEB.2.02.1303022218010.2033@localhost6.localdomain6>
 <51348708.1000005@users.sourceforge.net>
 <alpine.DEB.2.02.1303041334270.1984@hadrien>
 <5134C06D.4070906@users.sourceforge.net>
 <alpine.DEB.2.02.1303041645030.1984@hadrien>
 <5134C654.3050706@users.sourceforge.net>
 <CANrVCd3SaNhoMzaLFYsrkB6gX7vz9Nxb5L85be48pFNZ03Q6CA@mail.gmail.com>
 <5138B81B.2040100@users.sourceforge.net>
 <CANrVCd3HS+i84W01R-pZv5B1jz_r9HJVjJfVh1OxN1mGMmxAuA@mail.gmail.com>
 <5138C95F.8010608@users.sourceforge.net>
 <5144D0F8.3040302@users.sourceforge.net>
 <CANrVCd2jbGE2X+C6K9s=VanN_CquDp98f2Ne6fYOBAJt+nU8Yg@mail.gmail.com>
 <51614F9A.8000504@users.sourceforge.net>
 <alpine.DEB.2.02.1304071302110.1951@hadrien>
Message-ID: <5161551D.3040108@users.sourceforge.net>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr

> Arie does not work for the project any more.

Thanks for this information.

Who does maintain the affected build specification and corresponding
configuration scripts now?


> I don't think that it is within the goals of Coccinelle as a research project
> to have a bulletproof build system.

I would prefer a system with less mistakes.


> If you have a real need for Coccinelle and you have a real system in which
> it is impossible to build it or use an existing executable, then we can
> look into that.

I reported a few open issues for further consideration.

Regards,
Markus