Hi, Luis, 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. 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.
hth, Sébastien. _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
