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=1.9 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 471A9BBAF for ; Mon, 7 Sep 2009 16:42:32 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArIBACC4pErRVdOwkGdsb2JhbACSAYh9PwEBAQEJCQwHEwOtM4EnjjMBAwIEhBQFgjY X-IronPort-AV: E=Sophos;i="4.44,346,1249250400"; d="scan'208";a="35625098" Received: from mail-yw0-f176.google.com ([209.85.211.176]) by mail1-smtp-roc.national.inria.fr with ESMTP; 07 Sep 2009 16:42:31 +0200 Received: by ywh6 with SMTP id 6so4065660ywh.0 for ; Mon, 07 Sep 2009 07:42:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:cc:content-type :content-transfer-encoding; bh=k86YjsPX66sECQa6xzfTJrrDqfM4uL1MPBWvqMl1Ej8=; b=Odrz1lSrN7DP1we7UYCx4in6Oik8mmgnr/4ib3vtb1wUIETQBxW9HojwFprjkQqAvN X3C8bQmnN3Doyml1Qu50xbkGu80gWsRFKX8LjG2Xpnc2SGvq+XsRZywOiOYsgsqKP6oa ciKqZS2zmBYrHA17EeZ8mwhXlraHw0qMOiZOc= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; b=xxk/Hz7F1nXmn4X0XCZD+vIqI4YbqijODW+Oz+UtO/HI5MFDT4oe5T4zwbMeKlQX81 Wakb103IUs95wMPqxOvWHxGXWyydFdtasMacej7wj6XIRYgxfEkoqkzieggcnNH9Srpt Eokd3laMJpJIqxLZHRMldOQq4zgwapVD4xbSE= MIME-Version: 1.0 Received: by 10.150.114.12 with SMTP id m12mr24121038ybc.37.1252334550417; Mon, 07 Sep 2009 07:42:30 -0700 (PDT) In-Reply-To: <1252136119.8592.39.camel@Blefuscu> References: <4AA10CF0.7070403@cea.fr> <20090904140004.GA22690@annexia.org> <1252136119.8592.39.camel@Blefuscu> Date: Mon, 7 Sep 2009 18:42:30 +0400 Message-ID: <90823c940909070742n56456266m709eabb0e7aeccc8@mail.gmail.com> Subject: Re: [Caml-list] Why don't use batteries From: Dmitry Bely To: David Rajchenbach-Teller Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; ens-lyon:01 statically:01 compiler:01 compiler:01 cheers:01 0100,:01 0200,:01 signoles:01 ocaml:01 ocaml:01 runtime:01 statically:01 libasmrun:01 iirc:01 2009:98 On Sat, Sep 5, 2009 at 11:35 AM, David Rajchenbach-Teller wrote: > I take it to be a complaint against Batteries in particular > (helloworld.native is several Mb, when linked statically) and agains the > compiler in particular (in any given program, most of this is dead code > which the compiler fails to remove). > > Xavier Leroy is aware of the issue. Maybe either he or Xavier Clerc will > be able to look at it someday. Returning to an old discussion http://caml.inria.fr/pub/ml-archives/caml-list/2005/11/048f8f60868cf31d27d7= fd66e3914023.en.html I don't think it can be (and will be) done. We should live with these big executables with considerable amount of dead code. > Cheers, > =A0David > > On Fri, 2009-09-04 at 15:00 +0100, Richard Jones wrote: >> On Fri, Sep 04, 2009 at 02:49:52PM +0200, Julien Signoles wrote: >> > 3) It makes my executables too big >> > Yes, even if it seems to be improved in a close future. >> >> Is this a complaint against Batteries in particular or OCaml in >> general? =A0OCaml binaries in general are rather large, and it appears >> to be because the runtime / GC is statically linked. =A0Do you know how >> much this would improve with dynamic linking of libasmrun.a (which >> IIRC was a feature added in 3.11)? >> >> Rich. - Dmitry Bely