SF Markus Elfring (2015/10/14 12:32 +0200): > > Error: The files /usr/lib64/ocaml/obj.cmi > > and /usr/lib64/ocaml/menhirLib/menhirLib.cmi > > make inconsistent assumptions over interface Obj > > Makefile:90: recipe for target 'parser_cocci_menhir.cmx' failed > > I stumbled on the following message since I installed > the package "OCaml 4.02.3-1.1" also on my openSUSE system. > > > Error: Files type_cocci.cmx and menhirLib.cmx > make inconsistent assumptions over implementation Printf > Makefile:89: die Regel für Ziel „cocci_parser.cmxa“ scheiterte > > > How do you think about to circumvent this software dependency hiccup > by the OPAM interface for a while? > https://opam.ocaml.org/packages/coccinelle/coccinelle.1.0.2/
Sure, in my opinion, opam is a great solution worth trying for everybody. Sébastien. _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
