Ralf Treinen a écrit : > ocaml-compiler-libs seems to be the right place for these so I guess these > files should simply not be shipped by ocaml-nox.
I think on the contrary that outcometree.cmi should remain in ocaml-nox. It is installed by upstream, and may be used by the toplevel or other third-party tools or libraries (thanks to its special location at the root of `ocamlc -where`). Files shipped by ocaml-compiler-libs are not installed by upstream. If outcometree.cmi must be removed from somewhere, it should be from ocaml-compiler-libs. -- Stéphane -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
