Version française
Home     About     Download     Resources     Contact us    
Browse thread
Optimizing compiler for Caml Light
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Pierre Weis <weis@m...>
Subject: Optimizing compiler for Caml Light
Hi,

A new 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 camlot5.tar.Z). It runs on Sun4, decstations and
HP snakes (but is highly portable on any 32-bit platform).

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.

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,

Un nouveau compilateur optimisant pour Caml Light vient de sortir. On
peut l'obtenir comme d'habitude par ftp anonyme sur ftp.inria.fr, dans
le re'pertoire lang/caml-light (fichier camlot5.tar.Z). Il marche sur
Sun4, decstation et HP PA-RISC (mais il est facilement portable sur
toute architecture 32 bits). 

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 installer Camlot, il vous faut le 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.