From mboxrd@z Thu Jan 1 00:00:00 1970 Received: by pauillac.inria.fr; Mon, 28 Feb 94 11:25:47 +0100 Received: from margaux.inria.fr by pauillac.inria.fr; Thu, 24 Feb 94 10:47:22 +0100 Received: from concorde.inria.fr by margaux.inria.fr, Thu, 24 Feb 94 10:47:10 +0100 Received: from nef.ens.fr (nef.ens.fr [129.199.96.12]) by concorde.inria.fr (8.6.5/8.6.5) with SMTP id KAA04836 for ; Thu, 24 Feb 1994 10:47:09 +0100 Received: from dmi.ens.fr by nef.ens.fr (5.65c8/ULM-1.0) Id AA10188 ; Thu, 24 Feb 1994 10:46:32 +0100 Received: from absinthe.ens.fr by dmi.ens.fr (5.65c8/ULM-1.0) id AA04300; Thu, 24 Feb 1994 10:46:29 +0100 From: Regis Cridlig Message-Id: <199402240946.AA04300@dmi.ens.fr> Subject: Camlot 0.6 To: caml-list@margaux.inria.fr Date: Thu, 24 Feb 94 10:46:27 MET Cc: cridlig@dmi.ens.fr (Regis Cridlig), simonpj@dcs.gla.ac.uk 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 camlot6.tar.Z), or from the usual Caml site ftp.inria.fr (directory lang/caml-light). Changes from previous release: - many bugs have been removed - better compilation of constructor types - a smart linker was added - now supports 8-bit characters - default exception handler improved - a new parser generator: camlotyacc, which handles Caml-Light parser files - ... This is a beta-version, compiling Caml Light version 0.6. 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 camlot6.tar.Z), ou bien sur ftp.inria.fr dans le re'pertoire lang/caml-light. Voici quels sont les changements par rapport a` la dernie`re version : - plusieurs bogues sont maintenant corrige'es - la compilation des constructeurs est plus efficace - un editeur de lien a` e'te' ajoute' - le compilateur supporte les characte`res accentue's 8 bits - la gestion des exceptions non capture'es est meilleure - on peut ge'ne'rer des parsers gra^ce a camlotyacc, compatible avec camlyacc - ... C'est une version be'ta sans bugs connus, qui compile tout Caml Light version 0.6. 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 l'installer, il vous faut 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