camlot65

[Pierre Weis <weis@pauillac.inria.fr>]

[Version francaise ci-dessous]

Hi,

A new version of Camlot, the well-known :) optimising compiler for
Caml Light is available by anonymous ftp from the usual Caml site
ftp.inria.fr, in the  directory lang/caml-light (file
camlot65.tar.gz). It runs on Sun4, decstations and HP snakes and Linux
boxes (but remains highly portable on any 32-bit platform).

This version compiles Caml Light version 0.61 code.
It produces C code which runs from 2 to 20 times faster than the
normal Caml Light byte-code.

As usual, you need an ANSI C compiler, preferably GCC, the regular
Caml Light compiler, and the GNU make utility.

Bug reports (if any) should be reported to this list, or directly to
Re'gis Cridlig (cridlig@dmi.ens.fr).

Best regards,

Re'gis Cridlig and Pierre Weis.


Bonjour,

Une nouvelle version de Camlot, le compilateur optimisant pour Caml
Light bien connu :) est disponible sur ftp.inria.fr, dans
le re'pertoire lang/caml-light (fichier camlot65.tar.gz). Il marche sur
Sun4, decstation, HP PA-RISC et PC sous Linux (mais reste
facilement portable sur toute architecture 32 bits). 

Cette version compile tout Caml Light version 0.61. Il produit du code
C qui tourne entre 2 et 20 fois plus vite que le code Caml Light par
octet.

Camlot ne produit que des exe'cutables (pas de boucle interactive).
Pour installer Camlot vous devez disposer d'un compilateur C ANSI, de
pre'fe'rence GCC, un compilateur Caml Light normal et l'utilitaire GNU make.

Les bogues e'ventuelles du compilateur doivent e^tre signale'es dans
cette tribune ou directement a` Re'gis Cridlig (cridlig@dmi.ens.fr).

Amusez-vous bien,

Re'gis Cridlig et Pierre Weis.