On Wed, 14 Oct 2015, Sébastien Hinderer wrote:
> 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.
No problem with opam, but this problem will recur, so I would really
prefer to have it solved.
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
