From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 466C0BC0A for ; Mon, 26 Feb 2007 23:33:56 +0100 (CET) Received: from furbychan.cocan.org (furbychan.cocan.org [80.68.91.176]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l1QMXtm3008939 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Mon, 26 Feb 2007 23:33:55 +0100 Received: from rich by furbychan.cocan.org with local (Exim 3.35 #1 (Debian)) id 1HLoPf-0007QB-00; Mon, 26 Feb 2007 22:33:43 +0000 Date: Mon, 26 Feb 2007 22:33:43 +0000 To: Sam Steingold Cc: caml-list@inria.fr Subject: Re: [Caml-list] vacuous findlib warnings Message-ID: <20070226223342.GA25086@furbychan.cocan.org> References: <45E2FFF2.7060903@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <45E2FFF2.7060903@gnu.org> User-Agent: Mutt/1.5.9i From: Richard Jones X-Miltered: at discorde with ID 45E36053.006 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; findlib:01 findlib:01 cmi:01 lib:01 lib:01 cmi:01 26,:98 wrote:01 caml-list:01 interfaces:01 symbolic:01 objects:02 warnings:03 warnings:03 modify:05 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. Rich. -- Richard Jones Red Hat UK Limited