From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 7C9F6BBAF for ; Thu, 11 Nov 2010 06:52:24 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlcBAIsT20zRVdi2k2dsb2JhbACBcKBHCBUBAQEBCQkKCREDH6UfiWCCGIUfLohZAQEDBYVFBIpX X-IronPort-AV: E=Sophos;i="4.59,181,1288566000"; d="scan'208";a="78375853" Received: from mail-qy0-f182.google.com ([209.85.216.182]) by mail2-smtp-roc.national.inria.fr with ESMTP; 11 Nov 2010 06:52:24 +0100 Received: by qyk5 with SMTP id 5so397717qyk.6 for ; Wed, 10 Nov 2010 21:52:23 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:received:in-reply-to :references:date:message-id:subject:from:to:cc:content-type; bh=W+0BRUhmTjanJp9y/ZX2S7WTLNmi9Qv1baFa7hGf0wM=; b=qWwFy3YZ9alizO1ATv0Trqn28jt78deTWhFcAPwXsyKzQJ0sQXFEXKQV8U7whnOBu5 OoE6KiA+Qj0kgoUvtXoq3ztc3oAA31a4p8G823+TnDza0Fx7GUJyiuF6ih2A27nVgAA2 qyUmNokCJeltpFz1WtqIg3lafbc+T8OFTZObQ= 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; b=xowpOppotZwx1kqds6319nwbnsVPHxFxDeBNaPZBcEP+PLsWlCLvNyT4vV3gbTLcBs Lq53F0mYq4EIYAB7sZPRWSwHMWmmpMLo9DrygfdsSj2JgcGTVzPUiBDFG2RKPV6N/y9s 29BK/YetXAt9aQ0jYpmKPfmyXr66j35y/lOWM= MIME-Version: 1.0 Received: by 10.229.97.11 with SMTP id j11mr433073qcn.113.1289454743077; Wed, 10 Nov 2010 21:52:23 -0800 (PST) Received: by 10.229.41.195 with HTTP; Wed, 10 Nov 2010 21:52:23 -0800 (PST) In-Reply-To: <26FB93F3-065E-46C0-9767-0244B419626D@lip6.fr> References: <951AD91B-DA92-4F92-AE90-86A13DDB2357@lip6.fr> <87wroqpcny.fsf@frosties.localdomain> <2728CE5E-1335-4D6B-983D-305E6E5DA344@lip6.fr> <26FB93F3-065E-46C0-9767-0244B419626D@lip6.fr> Date: Thu, 11 Nov 2010 06:52:23 +0100 Message-ID: Subject: Re: [Caml-list] ocamlclean : an OCaml bytecode cleaner (Was: (Announce) "OCAPIC" : OCaml for PIC18 microcontrollers) From: Julien Signoles To: Philippe Wang Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=0016364ee1b4ea43190494c093f2 X-Spam: no; 0.00; ocaml:01 bytecode:01 ocaml:01 signoles:01 signoles:01 bytecode:01 ocamlc:01 compiler:01 statically:01 ocamlc:01 compiler:01 statically:01 z-index:98 margin-top:98 line-height:98 --0016364ee1b4ea43190494c093f2 Content-Type: text/plain; charset=ISO-8859-1 Hello, 2010/11/11 Philippe Wang > Shortly: > ocamlclean is now available in a separate package so that you don't have to > get the whole ocapic distribution just to try ocamlclean. > > More information: > ocamlclean takes a bytecode executable (which are generally but not > necessarily produced by "ocamlc" compiler) and reduces its size by > eliminating some dead code. Dead code is discriminated statically. (It's > impossible to eliminate all dead code, but in some cases it can reduce > bytecode executables tremendously) It is meant to be compatible with > standard bytecode such as produced by ocamlc. (DBUG section is currently not > supported and is removed during the cleaning process. Other unsupported > sections are left untouched.) > Is ocamlclean compatible with dynamic loading? That is code potentially used by some unknown dynamically-loaded code must be kept. -- Julien --0016364ee1b4ea43190494c093f2 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hello,

2010/11/11 Philippe Wang <philippe.wang@lip6.fr= >
--0016364ee1b4ea43190494c093f2--