From mboxrd@z Thu Jan 1 00:00:00 1970 From: elfring@users.sourceforge.net (SF Markus Elfring) Date: Wed, 14 Oct 2015 17:43:24 +0200 Subject: [Cocci] Compiling Coccinelle with specific OCaml versions on openSUSE In-Reply-To: <20151014145740.GA4812@pl-59055.rocqadm.inria.fr> References: <561E2F35.2080803@users.sourceforge.net> <20151014144445.GA4635@pl-59055.rocqadm.inria.fr> <20151014145740.GA4812@pl-59055.rocqadm.inria.fr> Message-ID: <561E781C.5040807@users.sourceforge.net> To: cocci@systeme.lip6.fr List-Id: cocci@systeme.lip6.fr > So far, the issue is that I was absolutely not able to reproduce it, > so any help on this would be greatly appreciated. I have got the impression that such an issue depends on specific version ranges for the software "OCaml" and "Menhir". Do you know the versions with which this library will work for the affected programming language? > The help could be a detailed procedure explaining how to reproduce the problem, > an access to a machine where the problem occurs or anything else you guys > could think about. How do you think about to reuse a continuous integration system eventually? When will Coccinelle's OCaml scripting interface work also together with the latest software releases? Regards, Markus