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