English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
vacuous findlib warnings
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-02-26 (22:51)
From: Sam Steingold <sds@g...>
Subject: Re: vacuous findlib warnings
Richard Jones wrote:
> On Mon, Feb 26, 2007 at 10:42:42AM -0500, Sam Steingold wrote:
>> I see findlib warnings like this:
>> findlib: [WARNING] Interface qbase.cmi occurs in several directories: 
>> ../../lib, .
>> this is because there is indeed ../../lib/qbase.cmi which is a symbolic 
>> link pointing to ./qbase.cmi (so there is no real duplication, the files 
>> point to the same inode).
>> Is it possible to modify findlib to check that the files are really 
>> different disk objects (inodes) before issuing the warning?
> Agreed.  Even better if it could compare the md5 of the interfaces.

"=" vs "=="? :-)
I would rather not use a checksum here - it has no advantage over an 
honest cmp(1). Actually, cmp(1) is probably faster (because it does not 
have to read the whole file to give a negative answer), and it returns 
TRT (no false positives).