From: Regis Cridlig <Regis.Cridlig@ens.fr>
Message-Id: <199412011455.AA12845@dmi.ens.fr>
Subject: Camlot 0.64
To: caml-list@margaux.inria.fr
Date: Thu, 1 Dec 94 15:55:41 MET
Hello!
A new release of Camlot, an optimising compiler for the Caml Light language,
is now available by anonymous ftp from the Ecole Normale Superieure site
ftp.ens.fr, in the directory pub/unix/lang/caml (file camlot0.64.tar.Z), and
as well from the usual Caml site ftp.inria.fr (directory lang/caml-light).
Changes from previous release 0.6 :
- bugs have been removed (thanks to bug reports by Dave Turner and Manuel
Serrano)
- GC's epilogue has been optimised
- stop© GC for floating-point numbers
- autoconfiguration in the style of Caml-Light 0.6
- the compiler stability has been tested by bootstrapping
and most important, the Unix Library is now supported (but not yet bulletproof)
This is a beta-version, compiling Caml Light version 0.61. It produces
C code which runs from 2 to 20 times faster than the normal Caml Light
byte-code. It only produces stand-alone executables. These executables
generally run faster than the code produced by any other ML compiler.
To use Camlot, you need an ANSI C compiler, preferably GCC. To install this
new compiler all you need is the normal Caml Light compiler and
the GNU make utility. (Camlot is highly portable on any 32-bit platform.)
Bug reports should be reported to this list, or better directly to me
(cridlig@dmi.ens.fr).
Best regards,
-- Re'gis Cridlig
Bonjour,
Une nouvelle version de Camlot, un compilateur optimisant pour Caml Light,
est maintenant disponible. On peut l'obtenir par ftp anonyme sur ftp.ens.fr,
dans le re'pertoire pub/unix/lang/caml (fichier camlot0.64.tar.Z), ou bien sur
ftp.inria.fr dans le re'pertoire lang/caml-light comme vous en avez l'habitude.
Voici quels sont les changements par rapport a` la dernie`re distribution 0.6 :
- plusieurs bogues sont maintenant corrige'es, en particulier grace aux
rapports de bogues de Dave Turner et de Manuel Serrano
- la phase "epilogue" du GC est bien plus rapide
- la recuperation memoire des flottants se fait maintenant en mode "Stop&Copy"
- le compilateur s'auto-configure comme Caml-Light 0.6
- la stabilite du compilateur a ete prouvee par bootstrap
et, le meilleur pour la fin, la bibliotheque Unix de caml-Light est maintenant
supportee, quoiqu'elle demande encore des tests (et des testeurs !).
Ceci une version be'ta sans bug connu a ce jour, qui compile tout Caml Light
version 0.61. Elle produit du code C qui tourne entre 2 et 20 fois plus
vite que le code Caml Light actuel, c'est-a`-dire ge'ne'ralement mieux
que le code produit par tout autre compilateur ML. Camlot ne peut
produire que des exe'cutables (pas de boucle interactive). Pour
utiliser Camlot vous devez disposer d'un compilateur C ANSI, de
pre'fe'rence GCC. Pour l'installer, il vous faudra de plus le compilateur
Caml Light normal et l'utilitaire GNU make. (Je rappelle que
Camlot peut e^tre facilement porte' sur toute architecture 32 bits.)
Les bogues e'ventuelles du compilateur doivent e^tre signale'es dans cette
tribune ou, mieux, directement a` Re'gis Cridlig (cridlig@dmi.ens.fr).
Amusez-vous bien,
-- Re'gis