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 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 36501BC37 for ; Sat, 5 Sep 2009 10:48:06 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkkCADHCoUrCpx6vi2dsb2JhbACbOwEBAQoLChq8fYQXBQ X-IronPort-AV: E=Sophos;i="4.44,336,1249250400"; d="scan'208";a="32248667" Received: from smtpka.univ-orleans.fr (HELO ka.univ-orleans.fr) ([194.167.30.175]) by mail2-smtp-roc.national.inria.fr with ESMTP; 05 Sep 2009 10:48:06 +0200 Received: from smtps.univ-orleans.fr (localhost [127.0.0.1]) by ka.univ-orleans.fr (Postfix) with ESMTP id 3C61312AD71; Sat, 5 Sep 2009 10:48:00 +0200 (CEST) Received: from [192.168.11.18] (unknown [212.219.59.79]) by smtps.univ-orleans.fr (Postfix) with ESMTP id 64CAB36E60; Sat, 5 Sep 2009 10:47:59 +0200 (CEST) Subject: Re: [Caml-list] Why don't use batteries From: David Rajchenbach-Teller To: Richard Jones Cc: Julien Signoles , caml list In-Reply-To: <20090904140004.GA22690@annexia.org> References: <4AA10CF0.7070403@cea.fr> <20090904140004.GA22690@annexia.org> Content-Type: text/plain Date: Sat, 05 Sep 2009 08:35:19 +0100 Message-Id: <1252136119.8592.39.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.26.1 Content-Transfer-Encoding: 7bit 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 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. Cheers, David 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? OCaml binaries in general are rather large, and it appears > to be because the runtime / GC is statically linked. Do you know how > much this would improve with dynamic linking of libasmrun.a (which > IIRC was a feature added in 3.11)? > > Rich. >