On Fri, 24 May 2019, Markus Elfring wrote:
> >> How will the following software situation be resolved?
> >
> > make distclean
> > ./autogen
> > ./configure
> > make
>
> These commands were executed also on my system yesterday.
>
>
> > There is no dependency on any particular system compiler version.
>
> Why is the program “ocamlc.opt” looking for the file
> “/usr/lib64/ocaml/list.cmi”
> instead of using the selected variant
> “~/.opam/4.07.1/lib/ocaml/stdlib__list.cmi”?
OK, I don't know. Either Thierry knows or there is some problem with the
setup of your system.
julia
>
>
> > You just seem to have compiled some of your code, then upgraded your ocaml,
> > then tried to compile the rest.
>
> I find this view inappropriate when the command “opam config exec --switch
> 4.07.1”
> should be relevant here.
>
> Regards,
> Markus
>
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
