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
