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.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id D60FABC6B for ; Fri, 11 Jan 2008 21:32:35 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAJZgh0fRVYT3kmdsb2JhbACQGgEBAQEHBAQpgRaReYZS X-IronPort-AV: E=Sophos;i="4.24,273,1196636400"; d="scan'208";a="21142456" Received: from an-out-0708.google.com ([209.85.132.247]) by mail4-smtp-sop.national.inria.fr with ESMTP; 11 Jan 2008 21:32:35 +0100 Received: by an-out-0708.google.com with SMTP id b15so351044ana.102 for ; Fri, 11 Jan 2008 12:32:34 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=xXcAVk8SjrmOvr9gJXF2ZyQwhrPKfQnZK0bkQ5xFHEM=; b=Gr39bMnpRqXZm3j27iya6UT9FP+zG67ofBbx5yfDHcMx6KGXfut5F8hJysxqQ4LXSi0fWdJRny0j667hGsrKYhsuyXMzm55iew3AMuKb1wblO/vq59H9sf98134fgkysNWPxL88qutLAwBg5WYGIf4/GAsSz4qaEMdUXlDML1GM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=cj6CGLIo5ewSKPPwEfbsWiUEAi2y6sQvjOzohDnFU5YM5dX3UlV96kdlaQPQmIHwp1olUNAQZAorkzexMieLamhSKI02U6ZAjLwuQqW1Dzzcf2zHOTcRtCZd4z3FkmQzdo2WVi++wIuHFko+DNTGEAinZJuC/FjzvrkfYsNACzI= Received: by 10.100.227.20 with SMTP id z20mr7632307ang.48.1200083554407; Fri, 11 Jan 2008 12:32:34 -0800 (PST) Received: by 10.101.67.19 with HTTP; Fri, 11 Jan 2008 12:32:34 -0800 (PST) Message-ID: <4a708d20801111232o4a67fd78s46a765b0db1ba453@mail.gmail.com> Date: Fri, 11 Jan 2008 21:32:34 +0100 From: "Lukasz Stafiniak" To: "Giles Constant" Subject: Re: [Caml-list] Why is ocaml so big? Cc: caml-list@yquem.inria.fr In-Reply-To: <200801111239.05507.giles@spacepigs.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <200801111239.05507.giles@spacepigs.com> X-Spam: no; 0.00; lukasz:01 ocaml:01 ocamlopt:01 ocamlopt:01 ocaml:01 hiya:98 hobby:98 garbage:01 wrote:01 caml-list:01 compiled:04 linux:07 alas:07 written:07 demos:08 For a starter, try 3.10.1 with -nopervasives: - PR#4174 ocamlopt: fixed ocamlopt -nopervasives On Jan 11, 2008 1:39 PM, Giles Constant wrote: > Hiya, > > I'm gradually falling in love with Ocaml, but my main hobby is writing demos, > mainly in the 64k category. Ocaml is a great way of writing small code, alas > it comes with a zonking great lump of baggage :-) > > "Hello world" written in ocaml and compiled with ocamlopt is 81K on my 32 bit > linux box, which instantly rules it out. (running it through upx packer, it > comes out at 37k, which is still too high). > > Are there any options which can strip this down to the bare minimum? I'm > guessing that much of the code in there is part of the garbage collection > code, in which case, I'll have to give up, but it would be nice to use > ocaml :-) > > Thanks, > > Giles