On Tue, Oct 13, 2015 at 1:44 PM, Julia Lawall <[email protected]> wrote: > Ah, OK sorry, it may have nothing to do with Coccinelle. How did you > install menhir?
>From source code. But I now deleted it. > And how did you install ocaml? OpenSUSE rpm package. > It looks like there may > be files generated by different versions of ocaml in your lib64 directory. I see. > Could you try the following: > > file /usr/lib64/ocaml/obj.cmi > file /usr/lib64/ocaml/menhirLib/menhirLib.cmi > > It should tell you what version of ocaml generated the files. mcgrof@ergon ~/devel/coccinelle (git::master)$ file /usr/lib64/ocaml/obj.cmi /usr/lib64/ocaml/obj.cmi: OCaml interface file (.cmi) (Version 017) mcgrof@ergon ~/devel/coccinelle (git::master)$ file /usr/lib64/ocaml/menhirLib/menhirLib.cmi /usr/lib64/ocaml/menhirLib/menhirLib.cmi: OCaml interface file (.cmi) (Version 017) Luis _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
