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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 81470BBAF for ; Thu, 11 Nov 2010 02:09:06 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgcBAL/Q2kyE4zwemWdsb2JhbACUQ417FQEBAQEBCAsKBxEiwCCFSgSKV4MMg1g X-IronPort-AV: E=Sophos;i="4.59,180,1288566000"; d="scan'208";a="86747891" Received: from osiris.lip6.fr ([132.227.60.30]) by mail1-smtp-roc.national.inria.fr with ESMTP; 11 Nov 2010 02:09:06 +0100 Received: from tibre.lip6.fr (tibre.lip6.fr [132.227.74.2]) by osiris.lip6.fr (8.14.4/lip6) with ESMTP id oAB194TW012213 ; Thu, 11 Nov 2010 02:09:04 +0100 (CET) X-pt: osiris.lip6.fr Received: from [127.0.0.1] (postepwang [132.227.83.184]) by tibre.lip6.fr (8.14.4/8.13.3) with ESMTP id oAB193Eh029801; Thu, 11 Nov 2010 02:09:03 +0100 (MET) Subject: ocamlclean : an OCaml bytecode cleaner (Was: (Announce) "OCAPIC" : OCaml for PIC18 microcontrollers) Mime-Version: 1.0 (Apple Message framework v1081) Content-Type: text/plain; charset=iso-8859-1 From: Philippe Wang In-Reply-To: <2728CE5E-1335-4D6B-983D-305E6E5DA344@lip6.fr> Date: Thu, 11 Nov 2010 02:09:03 +0100 Cc: Philippe Wang Content-Transfer-Encoding: quoted-printable Message-Id: <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> To: caml-list@inria.fr X-Mailer: Apple Mail (2.1081) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.5 (osiris.lip6.fr [132.227.60.30]); Thu, 11 Nov 2010 02:09:04 +0100 (CET) X-Scanned-By: MIMEDefang 2.68 on 132.227.60.30 X-Spam: no; 0.00; ocaml:01 bytecode:01 ocaml:01 bytecode:01 ocamlc:01 compiler:01 statically:01 ocamlc:01 executables:01 supported:02 executable:03 generally:04 size:95 meant:06 standard:07 Dear all, 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.) Web site: http://www.algo-prog.info/ocaml_for_pic/ Developer:=20 Beno=EEt Vaugon -- Philippe Wang http://www-apr.lip6.fr/~pwang/