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=2.0 required=5.0 tests=AWL,RCVD_NUMERIC_HELO, SPF_FAIL 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 EF563BC0A for ; Mon, 26 Feb 2007 16:43:15 +0100 (CET) Received: from maury.inria.fr (maury.inria.fr [192.93.2.7]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l1QFhFsI015788 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK) for ; Mon, 26 Feb 2007 16:43:15 +0100 Received: from ciao.gmane.org (main.gmane.org [80.91.229.2]) by maury.inria.fr (8.13.6/8.13.6) with ESMTP id l1QFhEYf008079 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Mon, 26 Feb 2007 16:43:15 +0100 Received: from list by ciao.gmane.org with local (Exim 4.43) id 1HLi0A-0001Wu-SY for caml-list@inria.fr; Mon, 26 Feb 2007 16:42:58 +0100 Received: from 209.213.205.130 ([209.213.205.130]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 26 Feb 2007 16:42:58 +0100 Received: from sds by 209.213.205.130 with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 26 Feb 2007 16:42:58 +0100 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Sam Steingold Subject: vacuous findlib warnings Date: Mon, 26 Feb 2007 10:42:42 -0500 Message-ID: <45E2FFF2.7060903@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: usenet@sea.gmane.org X-Gmane-NNTP-Posting-Host: 209.213.205.130 User-Agent: Thunderbird 1.5.0.8 (X11/20061107) Sender: news X-Miltered: at discorde with ID 45E30013.004 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Miltered: at maury with ID 45E30012.003 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 symbolic:01 objects:02 bugs:03 warnings:03 warnings:03 gnu:03 modify:05 pointing:05 interface:06 Hi, 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? What is the right place to report bugs/ask for improvements in findlib? thanks Sam