> 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 _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
