>> 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”? > 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
