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 2AE18BBAF; Thu, 20 May 2010 15:16:17 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.53,271,1272837600"; d="scan'208";a="51533254" Received: from alcazar.inria.fr ([128.93.24.50]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 May 2010 15:16:16 +0200 Date: Thu, 20 May 2010 15:16:17 +0200 From: Maxence Guesdon To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] OCaml defunctorization and other optimizations Message-ID: <20100520151617.67805a87@alcazar.inria.fr> In-Reply-To: <4BF5255C.5010605@gmail.com> References: <4BF3E071.9040901@gmail.com> <4BF519E4.8040402@gmail.com> <4BF5255C.5010605@gmail.com> Organization: INRIA X-Mailer: Claws Mail 3.7.6 (GTK+ 2.20.1; i486-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-15 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; maxence:01 guesdon:01 maxence:01 guesdon:01 ocaml:01 ocaml:01 rocquencourt:01 edwin:98 distrib:01 wrote:01 caml-list:01 modules:02 external:03 external:03 compiled:04 On Thu, 20 May 2010 15:04:44 +0300 T=F6r=F6k Edwin wrote: >=20 > > As far as I > > know, the Ocaml development team does not accept so much external > > contributions (for many good reasons). >=20 > OK, then it'll have to be an external tool (if I decide to write it > after all). If you decide to do so, you can have a look at oug[1] distrib, which uses internal modules of OCaml. You could copy the configuration machinery (configure.in, configure, checkocaml.ml) used to detect/indicate ocaml programs and ocaml compiled sources. Hope this helps, Maxence [1] http://home.gna.org/oug/index.en.html --=20 Maxence Guesdon http://yquem.inria.fr/~guesdon/ Service Exp=E9rimentation et D=E9veloppements https://sed-roc.inria= .fr/ INRIA Paris-Rocquencourt http://www.inria.fr/rocquencourt/