>> 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.
Which test results do you get for a command like “opam config exec --switch 4.07.1”? Do you occasionally work also with different versions of software components from OCaml's standard library? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
