Julia Lawall (2015/10/14 23:47 +0200): > OK, menhirLib is always needed with Coccinelle. Maybe Coccinelle manages > to use its own version, if you don't have one installed. I had thought > that Sebastien said that the menhir bundle was not being activated, but > perhaps I misunderstood.
I'm myself confused, sorry about that Julia. There definitely is an issue in Coccinelle's uild system regading this. What I noiced (using INria's tree) is that Coccinelle is not able to use its bundled menhir. So if no Menhir is installed, things go wrong. I don't remember exactly what goes wrong but there's deinitely something that needs to be fixed here. Sébastien. _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
