* [Caml-list] avoid [WARNING] Interface topdirs.cmi occurs in several directories
@ 2014-06-24 15:47 Ashish Agarwal
2014-06-24 16:02 ` Kakadu
0 siblings, 1 reply; 3+ messages in thread
From: Ashish Agarwal @ 2014-06-24 15:47 UTC (permalink / raw)
To: Caml List
[-- Attachment #1: Type: text/plain, Size: 160 bytes --]
Is there some way to silence the following:
[WARNING] Interface topdirs.cmi occurs in several directories: ...
None of the warning flags seem to affect this.
[-- Attachment #2: Type: text/html, Size: 219 bytes --]
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Caml-list] avoid [WARNING] Interface topdirs.cmi occurs in several directories
2014-06-24 15:47 [Caml-list] avoid [WARNING] Interface topdirs.cmi occurs in several directories Ashish Agarwal
@ 2014-06-24 16:02 ` Kakadu
2014-06-24 17:21 ` Ashish Agarwal
0 siblings, 1 reply; 3+ messages in thread
From: Kakadu @ 2014-06-24 16:02 UTC (permalink / raw)
To: Ashish Agarwal; +Cc: Caml List
I have removed this file and it seems everything works after that.
Happy hacking,
Kakadu
On Tue, Jun 24, 2014 at 7:47 PM, Ashish Agarwal <agarwal1975@gmail.com> wrote:
> Is there some way to silence the following:
>
> [WARNING] Interface topdirs.cmi occurs in several directories: ...
>
> None of the warning flags seem to affect this.
>
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Caml-list] avoid [WARNING] Interface topdirs.cmi occurs in several directories
2014-06-24 16:02 ` Kakadu
@ 2014-06-24 17:21 ` Ashish Agarwal
0 siblings, 0 replies; 3+ messages in thread
From: Ashish Agarwal @ 2014-06-24 17:21 UTC (permalink / raw)
To: Kakadu; +Cc: Caml List
[-- Attachment #1: Type: text/plain, Size: 630 bytes --]
I can try your hack, but let's fix the problem correctly. The real question
is why does the compiler install the file in two places:
ocaml/compiler-libs/topdirs.cmi
ocaml/topdirs.cmi
On Tue, Jun 24, 2014 at 12:02 PM, Kakadu <kakadu.hafanana@gmail.com> wrote:
> I have removed this file and it seems everything works after that.
>
> Happy hacking,
> Kakadu
>
> On Tue, Jun 24, 2014 at 7:47 PM, Ashish Agarwal <agarwal1975@gmail.com>
> wrote:
> > Is there some way to silence the following:
> >
> > [WARNING] Interface topdirs.cmi occurs in several directories: ...
> >
> > None of the warning flags seem to affect this.
> >
>
[-- Attachment #2: Type: text/html, Size: 1104 bytes --]
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2014-06-24 17:21 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-06-24 15:47 [Caml-list] avoid [WARNING] Interface topdirs.cmi occurs in several directories Ashish Agarwal
2014-06-24 16:02 ` Kakadu
2014-06-24 17:21 ` Ashish Agarwal
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).