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.
Which mainly solves my problem for now. I would like to be able to solve the menhir issue too, but that can wait. I need to study a bit what you said, and to get acquainted with OPAM before investigating further on that. 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. Do I need ./configure —-enable-python for that? If I do that, I get config errors (log attached). Thanks > On 19 Jan 2015, at 16:51, Sébastien Hinderer <[email protected]> > wrote: > > Dear Eliseo, > > There now seems to be a conflict between your installed menhir and a > library which is bundled with coccinelle. > > Since you have installed menhir, it should have installed menhirLib, > too, but apparently for some reason the installed one is not detected, > see these lines in the conig.log you have sent earlier: > > configure:12694: configuring package menhirLib > configure:12704: checking for OCaml findlib package menhirLib > configure:12720: result: not found > configure:12745: OCaml package menhirLib is not available > configure:12757: checking for a bundled substitute of menhirLib > ... and the bundled substitute is found but too old compared to your > installed menhir. So one possibility would be to figure out whether you > can find an older version of menhir that you caninstall rather than > using this one which is too recent. > > Another approach,if you are a bit familiar with ocaml findli or have > timeto investigate, is to try to register the installed version of > menhirLib with ocaml-findlib so that configure detects it. > > One other approach is to install the opam OCaml package manager and then > to install all the packages through it, because this is more likely to > work and rather easy and straightforward, let me know if you wouldlike > to do like this, I'll send you the necessary steps. > > Sébastien. > _______________________________________________ > Cocci mailing list > [email protected] > https://systeme.lip6.fr/mailman/listinfo/cocci
config.log
Description: Binary data
_______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
