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=none autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 0D199BC69 for ; Sun, 2 Dec 2007 22:40:07 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAEq0UkdYvxGE/2dsb2JhbAA X-IronPort-AV: E=Sophos;i="4.23,241,1194217200"; d="scan'208";a="5170262" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 02 Dec 2007 22:40:06 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id lB2Le6vl000763 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sun, 2 Dec 2007 22:40:06 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAEq0UkdYvxGE/2dsb2JhbAA X-IronPort-AV: E=Sophos;i="4.23,241,1194217200"; d="scan'208";a="5170261" Received: from www.rastageeks.org (HELO mail.rastageeks.org) ([88.191.17.132]) by mail1-smtp-roc.national.inria.fr with ESMTP; 02 Dec 2007 22:40:06 +0100 Received: from [192.168.0.2] (rob92-9-88-161-115-205.fbx.proxad.net [88.161.115.205]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mail.rastageeks.org (Postfix) with ESMTP id AE7739BD82; Sun, 2 Dec 2007 22:39:46 +0100 (CET) From: Romain Beauxis To: caml-list@inria.fr Subject: Re: [Caml-list] Re: Options order for ocamlc/opt/opt.opt Date: Sun, 2 Dec 2007 22:39:43 +0100 User-Agent: KMail/1.9.7 Cc: Julien Moutinho References: <200711230243.34108.toots@rastageeks.org> <20071124031046.GA2581@localhost> <20071124031544.GA11916@localhost> In-Reply-To: <20071124031544.GA11916@localhost> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Message-Id: <200712022239.43575.toots@rastageeks.org> X-Miltered: at concorde with ID 47532636.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocamlc:01 ocaml:01 caml-list:01 grep:01 output:02 seems:03 seems:03 opt:04 opt:04 linked:07 real:10 wrong:10 libraries:11 libraries:11 julien:12 Le Saturday 24 November 2007 04:15:44 Julien Moutinho, vous avez =C3=A9crit= =C2=A0: > It changes nothing to what I said previously. Hey, it seems I was wrong all the way... In fact ldd output seems to include indirect needed libraries. The real way to check linked libraries is: objdump -x _your-binary_ | grep NEEDED And, yes it works with current ocaml :-) Romain