Bug#517134: ocaml-nox: install some files that are also installed by ocaml-compiler-libs
On Thu, Feb 26, 2009 at 12:50:04PM +0100, Stéphane Glondu wrote:
> 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.
That makes sense. -Ralf.
Reply to: