From mboxrd@z Thu Jan 1 00:00:00 1970 From: francois.berenger@inria.fr (Francois BERENGER) Date: Thu, 28 Aug 2014 18:05:44 +0200 Subject: [Cocci] Improvements for the build specification? In-Reply-To: <53FF5240.8000604@users.sourceforge.net> References: <53FF35F5.9040903@inria.fr> <53FF477A.1070700@users.sourceforge.net> <53FF4DE6.7020006@inria.fr> <53FF5240.8000604@users.sourceforge.net> Message-ID: <53FF5358.1080606@inria.fr> To: cocci@systeme.lip6.fr List-Id: cocci@systeme.lip6.fr On 08/28/2014 06:01 PM, SF Markus Elfring wrote: >> Probably. I don't know m4 though. > > I know this macro programming language to some degree. > > Unfortunately, further improvements on the affected build specification are > blocked by Julia so far. How do you find the chances to change such a situation? I was just reporting upstream some patch I had to introduce in order to package coccinelle for OPAM so that 'make uninstall' always return success. I was also kind of probing the activity of the ML and liveliness of the coccinelle community, which I always do when starting to use a new open source tool. ;) Coccinelle looks great, I am amazed. PS: http://opam.ocaml.org/ -- Regards, Francois.