From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id UAA04822 for caml-redistribution; Fri, 3 May 1996 20:58:15 +0200
Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id UAA04772 for caml-list@pauillac.inria.fr; Fri, 3 May 1996 20:56:45 +0200
From: Pierre Weis <weis@pauillac.inria.fr>
Message-Id: <199605031856.UAA04772@pauillac.inria.fr>
Subject: camlot65
To: caml-list@pauillac.inria.fr
Date: Fri, 3 May 1996 20:56:45 +0200 (MET DST)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Sender: weis


[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.