Dear Eliseo, > I have some good news, finally. > I can build and install if I omit the menhir part. > I mean, starting from a clean checkout, and after applying your patch, > if I just do ./configure and make, instead of make distclean, > ./configure and make, then it works.
Good! > Which mainly solves my problem for now. I would like to be able to > solve the menhir issue too, but that can wait. I can confirm what Julia says. Actually, menhir is bundled with coccinelle, so one one other possibility is to remove the one installed by the package manager completely, to make sure it's the one that comes with coccinelle which is used. That way, you won't even need the patch I sent yesterday, because the menhir that comes with Coccinelle is older and also more tolerant. > Just one more thing, then. I’m not sure if plain ./configure, as I’ve > used, is enough to be able to use python with smpl patches. It seems so. > Do I need ./configure —-enable-python for that? If I do that, I get > config errors (log attached). No, I don't thinkyou need it. Looking at the config.log you have sent yesterday, it seems that there are some python development files that are not installed, so perhaps it would be good for you to see whether your package namanger provides such a package, like python-2.7-dev or so, and to install it. hth, Sébastien. _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
