From mboxrd@z Thu Jan 1 00:00:00 1970 From: elfring@users.sourceforge.net (SF Markus Elfring) Date: Wed, 14 Oct 2015 12:54:37 +0200 Subject: [Cocci] Compiling latest Coccinelle with openSUSE In-Reply-To: <20151014071143.GA6178@pema> References: <20151013211451.GD14464@wotan.suse.de> <20151013220512.GE14464@wotan.suse.de> <20151014071143.GA6178@pema> Message-ID: <561E346D.2090005@users.sourceforge.net> To: cocci@systeme.lip6.fr List-Id: cocci@systeme.lip6.fr > Normally, when Menhir is not installed, Coccinelle's buil system > should use the one provided in the bundles directory (same for MenhirLib). > At the moment this does not work quite wll and I am currently working on > fixing this issue. I am curious on how this software development will evolve. > Meanwhile, one other simple thing you could try is to install menhir > either through your distribution if it is packaged, or directly from sources. > Then start from a clean git repository and do the usual procedure > and I believe that shold work and would appreciate to know if it does not. I guess that there are further dependencies to consider. For which data processing tasks is this library needed in Coccinelle so far? http://cristal.inria.fr/~fpottier/menhir/CHANGES How do you think about to reuse the package "menhir-20151012.tar.gz" (together with the software "OCaml 4.02.3")? Regards, Markus