Browse thread
camlot65
- Pierre Weis
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Pierre Weis <weis@p...> |
| Subject: | camlot65 |
[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.