> 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/
Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
