On Wed, 14 Oct 2015, Sébastien Hinderer wrote:
> 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.
He built it from sources. The problem he has with menhirLib is an
incompatability between cmi files in his lib64/ocaml directory. That
would seem to have nothing to do with Coccinelle. But file says that the
cmi files come from the same version of ocaml, which is really mysterious.
One of the files is Obj.mli. I assume that this comes with ocaml? I
didn't ask whether he had reinstalled ocaml somehow after compiling
menhir.
julia
> 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
>
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
