From mboxrd@z Thu Jan 1 00:00:00 1970 Received: by pauillac.inria.fr; Thu, 1 Dec 94 16:29:26 +0100 Received: from concorde.inria.fr by pauillac.inria.fr; Thu, 1 Dec 94 15:55:40 +0100 Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.6.9/8.6.9) with ESMTP id PAA06888 for ; Thu, 1 Dec 1994 15:55:40 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.6.8/8.6.6) with ESMTP id PAA27744 for ; Thu, 1 Dec 1994 15:56:16 +0100 Received: from nef.ens.fr (nef.ens.fr [129.199.96.12]) by concorde.inria.fr (8.6.9/8.6.9) with SMTP id PAA06884 for ; Thu, 1 Dec 1994 15:55:38 +0100 Received: from dmi.ens.fr by nef.ens.fr (5.65c8/ULM-1.0) Id AA14875 ; Thu, 1 Dec 1994 15:55:42 +0100 Received: from pavot.ens.fr (pavot-gw.ens.fr) by dmi.ens.fr (5.65c8/ULM-1.0) Id AA12845 ; Thu, 1 Dec 1994 15:55:41 +0100 From: Regis Cridlig Message-Id: <199412011455.AA12845@dmi.ens.fr> Subject: Camlot 0.64 To: caml-list@margaux.inria.fr Date: Thu, 1 Dec 94 15:55:41 MET X-Mailer: ELM [version 2.3 PL11] Sender: weis@pauillac.inria.fr Hello! A new release of Camlot, an optimising compiler for the Caml Light language, is now available by anonymous ftp from the Ecole Normale Superieure site ftp.ens.fr, in the directory pub/unix/lang/caml (file camlot0.64.tar.Z), and as well from the usual Caml site ftp.inria.fr (directory lang/caml-light). Changes from previous release 0.6 : - bugs have been removed (thanks to bug reports by Dave Turner and Manuel Serrano) - GC's epilogue has been optimised - stop© GC for floating-point numbers - autoconfiguration in the style of Caml-Light 0.6 - the compiler stability has been tested by bootstrapping and most important, the Unix Library is now supported (but not yet bulletproof) This is a beta-version, compiling Caml Light version 0.61. 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. These executables generally run faster than the code produced by any other ML compiler. To use Camlot, you need an ANSI C compiler, preferably GCC. To install this new compiler all you need is the normal Caml Light compiler and the GNU make utility. (Camlot is highly portable on any 32-bit platform.) Bug reports should be reported to this list, or better directly to me (cridlig@dmi.ens.fr). Best regards, -- Re'gis Cridlig Bonjour, Une nouvelle version de Camlot, un compilateur optimisant pour Caml Light, est maintenant disponible. On peut l'obtenir par ftp anonyme sur ftp.ens.fr, dans le re'pertoire pub/unix/lang/caml (fichier camlot0.64.tar.Z), ou bien sur ftp.inria.fr dans le re'pertoire lang/caml-light comme vous en avez l'habitude. Voici quels sont les changements par rapport a` la dernie`re distribution 0.6 : - plusieurs bogues sont maintenant corrige'es, en particulier grace aux rapports de bogues de Dave Turner et de Manuel Serrano - la phase "epilogue" du GC est bien plus rapide - la recuperation memoire des flottants se fait maintenant en mode "Stop&Copy" - le compilateur s'auto-configure comme Caml-Light 0.6 - la stabilite du compilateur a ete prouvee par bootstrap et, le meilleur pour la fin, la bibliotheque Unix de caml-Light est maintenant supportee, quoiqu'elle demande encore des tests (et des testeurs !). Ceci une version be'ta sans bug connu a ce jour, qui compile tout Caml Light version 0.61. Elle 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 mieux que le code produit par tout autre compilateur ML. Camlot ne peut produire 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 l'installer, il vous faudra de plus le compilateur Caml Light normal et l'utilitaire GNU make. (Je rappelle que Camlot peut e^tre facilement porte' sur toute architecture 32 bits.) Les bogues e'ventuelles du compilateur doivent e^tre signale'es dans cette tribune ou, mieux, directement a` Re'gis Cridlig (cridlig@dmi.ens.fr). Amusez-vous bien, -- Re'gis