English version
Accueil     Ŕ propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis ŕ jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml ŕ l'adresse ocaml.org.

Browse thread
OCaml defunctorization and other optimizations
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2010-05-20 (13:16)
From: Maxence Guesdon <Maxence.Guesdon@i...>
Subject: Re: [Caml-list] OCaml defunctorization and other optimizations
On Thu, 20 May 2010 15:04:44 +0300
Török Edwin <edwintorok@gmail.com> wrote:

> > As far as I
> > know, the Ocaml development team does not accept so much external
> > contributions (for many good reasons).
> 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,


[1] http://home.gna.org/oug/index.en.html

Maxence Guesdon                             http://yquem.inria.fr/~guesdon/
Service Expérimentation et Développements         https://sed-roc.inria.fr/
INRIA Paris-Rocquencourt                  http://www.inria.fr/rocquencourt/