From mboxrd@z Thu Jan  1 00:00:00 1970
Received: by margaux.inria.fr, Thu, 29 Jul 93 17:47:10 +0200
Received: from concorde.inria.fr by margaux.inria.fr, Wed, 28 Jul 93 14:51:39 +0200
Received: from nef.ens.fr by concorde.inria.fr; Wed, 28 Jul 1993 14:52:07 +0200
Received: from dmi.ens.fr by nef.ens.fr (5.65c8/ULM-1.0)
Received: from mezcal (mezcal.ens.fr) by dmi.ens.fr (5.65c8/ULM-1.0)
Received: by mezcal (16.8/ULM-1.0)
From: cridlig@dmi.ens.fr (Regis Cridlig)
Message-Id: <9307281252.AA27197@mezcal>
Subject: Camlot 5.1
To: caml-list@margaux
Date: Wed, 28 Jul 93 14:52:03 METDST
Mailer: Elm [revision: 70.30]
Sender: weis@margaux

Hi!

A new release of Camlot, an optimising compiler for Caml Light, is now
available by anonymous ftp from the usual Caml site ftp.inria.fr, in the
directory lang/caml-light (file camlot51.tar.Z).

Changes from previous release:
- several bugs concerning garbage collection are corrected
- better compilation of range patterns
- added a fake option -custom
- added support for i386/486 computers running under Linux, and for Vax/Unix.

This is a beta-version, compiling Caml Light version 0.5. 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 which
generally run faster than the code produced by any other ML compiler.

To use the compiler, you need an ANSI C compiler, preferably GCC. To
install this new compiler you need the normal Caml Light compiler and
the GNU make utility. (Camlot is highly portable on any 32-bit platform.)

Bug reports (if any) should be reported to this list, or better directly to
Re'gis Cridlig (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.inria.fr,
dans le re'pertoire lang/caml-light (fichier camlot51.tar.Z).

Voici quels sont les changements par rapport a` la dernie`re version :
- plusieurs bogues dans le GC sont maintenant corrige'es
- la compilation des "range patterns" est bien plus efficace
- une option -custom a e'te' rajoute'e pour raison de compatibilite'
- le compilateur est de plus supporte' sur les machines Intel 386/486
(sous Linux), et sur les Vax sous Unix.

C'est une version be'ta sans bugs connus, qui compile tout Caml Light
version 0.5. Il 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 plus
vite que le code produit par tout autre compilateur ML. Camlot ne
produit 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 faut 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 Cridlig