Re: [Caml-list] findlib gives warning that compiler doesn't

[Ashish Agarwal <agarwal1975@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 2775 bytes --]

> It is a little bit unclear to me how the check could be made better. Any
ideas?

I'm not sure. I'm working around the problem by putting the output of
packing in a different directory, which gives this layout:

├── liba
│   ├── a.cmi
│   ├── a.cmo
│   ├── a.ml
│   ├── b.cmi
│   ├── b.cmo
│   └── b.ml
├── liba.cma
├── liba.cmi
├── liba.cmo
└── libb
    ├── a.cmi
    └── a.ml

Now I can do

$ ocamlfind ocamlc -I .. -c a.ml

thereby avoiding reference to the liba/ directory entirely.


On Wed, Aug 5, 2015 at 11:36 AM, Gerd Stolpmann <info@gerd-stolpmann.de>
wrote:

> Am Dienstag, den 04.08.2015, 16:49 -0400 schrieb Ashish Agarwal:
> > With the file structure shown below, assume you're in directory libb.
> > Then:
> >
> >
> > $ ocamlc -I ../liba -c a.ml
> > (* no warnings *)
> >
> >
> > $ ocamlfind ocamlc -I ../liba -c a.ml
> > findlib: [WARNING] Interface a.cmi occurs in several
> > directories: ., ../liba
> >
> >
> > Why does findlib do an extra check that the compiler is okay with?
> > This is causing problems in a project where I'd like to build several
> > packed libraries, and one reason for doing so is precisely to reuse
> > module names. Am I going about this wrong? My goal is that within
> > libb, the only module from liba that should be visible is Liba.
>
> The compiler has always been okay with multiple cmis in different
> directories because the assumption is that you have full control over
> the directories, and that the search path resolves any conflicts. This
> is different when you use findlib. Typically you use libraries from
> third parties, and cmi conflicts would remain unnoticed if findlib
> didn't check.
>
> This feature, however, is older than packed modules, and findlib doesn't
> take packed modules into account. It is a little bit unclear to me how
> the check could be made better. Any ideas?
>
> Gerd
>
> >
> >
> > ├── liba
> > │   ├── a.cmi
> > │   ├── a.cmo
> > │   ├── a.ml
> > │   ├── b.cmi
> > │   ├── b.cmo
> > │   ├── b.ml
> > │   ├── liba.cma
> > │   ├── liba.cmi
> > │   └── liba.cmo
> > └── libb
> >     ├── a.cmi
> >     ├── a.cmo
> >     └── a.ml
> >
> >
> >
>
> --
> ------------------------------------------------------------
> Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
> My OCaml site:          http://www.camlcity.org
> Contact details:        http://www.camlcity.org/contact.html
> Company homepage:       http://www.gerd-stolpmann.de
> ------------------------------------------------------------
>

[-- Attachment #2: Type: text/html, Size: 5610 bytes --]