From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA01434 for caml-red; Fri, 7 Jul 2000 16:52:04 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA15901 for ; Fri, 7 Jul 2000 13:38:54 +0200 (MET DST) Received: from ns.fr.socgen.com (ns.fr.socgen.com [195.6.58.61]) by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e67Bcrf15557; Fri, 7 Jul 2000 13:38:53 +0200 (MET DST) Received: from ms03 (ms03 [192.168.2.29]) by ns.fr.socgen.com via Smap(2.01) id NAA06074;Fri, 7 Jul 2000 13:49:33 +0200 (MET DST) Received: from feddefa.fr.socgen.com (unverified) by ms03 (Content Technologies SMTPRS 2.0.15) with ESMTP id ; Fri, 07 Jul 2000 13:35:08 +0200 Received: from feddefa-gw.fr.socgen.com by feddefa.fr.socgen.com (X.400 to RFC822 Gateway); Fri, 7 Jul 2000 13:36:25 +0200 X400-Received: by mta mtaFEDDEFA in /c=FR/admd=ATLAS/prmd=SG/; Relayed; 07 Jul 2000 13:36:24 +0200 X400-Received: by /c=FR/admd=ATLAS/prmd=SG/; Relayed; 07 Jul 2000 13:36:24 +0200 X400-MTS-Identifier: [/c=FR/admd=ATLAS/prmd=SG/; 023623965C0B8031-mtaFEDDEFA] Content-Return: Allowed X400-Content-Type: P2-1988 ( 22 ) Conversion: Allowed Original-Encoded-Information-Types: (1)(0)(10021)(7)(1)(0)(1), (1)(0)(10021)(7)(1)(0)(6), (1)(0)(10021)(7)(1)(0)(100) Priority: normal Disclose-Recipients: Prohibited Alternate-Recipient: Allowed X400-Originator: Jean-Marc.Eber@socgen.com X400-Recipients: non-disclosure; Message-Id: <023623965C0B8031*/c=FR/admd=ATLAS/prmd=SG/o=INFI/s=EBER/g=JEAN-MARC/@MHS> Date: 07 Jul 2000 13:36:24 +0200 From: Jean-Marc EBER To: caml-list (IPM Return requested) Cc: "Xavier.Leroy" (IPM Return requested) Subject: OCaml on IA-64 (was "About Ocaml and Sourceforge"). MIME-Version: 1.0 Content-Identifier: 023623965C0B8031 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Sender: weis@pauillac.inria.fr >I registered OCaml on SourceForge for the sole purpose of getting >an account on their "compile farm", and more specifically on their >prototype IA64/Itanium machines. I'm working on an IA64 port of the >OCaml native-code compiler, and while the initial port was done using >HP's emulator, I needed real hardware to complete it. > >IA64 a weird architecture; exploiting all its capabilities is a real >challenge for compiler writers. OCaml is not going to exploit all of >them (far from it!), but even a relatively naive code generator isn't >easy, especially with all the bugs in the GNU IA64 assembler... = OCaml team from INRIA working on an (even "relatively naive") port of the= *native-code* compiler to the IA-64 platform ? Best news of the day, or even the week.... :-) Does this mean tnat the OCaml team could already achieve to produce a byt= e-code compiler for this platform (I know well that there is a 64 bit version of the *byte-co= de compiler* available (Alpha), but as we all know, one often encounter some unforseen problems...) ? Jean-Marc Eber Soci=E9t=E9 G=E9n=E9rale Infi/Dir 17, cours Valmy, F 92 987 Paris - La D=E9fense Cedex T=E9l +33 1 42 13 65 30 Fax: +33 1 42 13 60 78 EMail: jean-marc.eber@socgen.com ______________________________ Reply Separator __________________________= _______ Xavier.Leroy@inria.fr 07/05/2000 11:35:00 PM To: Luc.Mazardo@cvf.fr@internet caml-list@inria.fr@internet cc: (bcc: Jean-Marc EBER/marc-sgop/fr/socgen) Return Receipt: No Importance: Normal = SUBJECT: Re: About Ocaml and Sourceforge. > OCaml is on sourceforge since the 2000-Jun-30. What is exactly the > goal of this move, cvs access ? or/and mailing, forums ? I registered OCaml on SourceForge for the sole purpose of getting an account on their "compile farm", and more specifically on their prototype IA64/Itanium machines. I'm working on an IA64 port of the OCaml native-code compiler, and while the initial port was done using HP's emulator, I needed real hardware to complete it. IA64 a weird architecture; exploiting all its capabilities is a real challenge for compiler writers. OCaml is not going to exploit all of them (far from it!), but even a relatively naive code generator isn't easy, especially with all the bugs in the GNU IA64 assembler... = As for OCaml on SourceForge, I'll put a couple of Web pages pointing back to the INRIA Web and CVS servers. I hope the SourceForge people won't mind this slight bending of their rules! > PS: now there is 3 OCaml projet under sourceforge !! I was impressed with the quality of the services offered by SourceForge, and would encourage that doesn't control their own servers to host their projects on SourceForge. - Xavier Leroy ************************************************************************* Ce message et toutes les pi=E8ces jointes (ci-apr=E8s le "message") sont confidentiels et =E9tablis =E0 l'intention exclusive de ses destinataires. Toute utilisation ou diffusion non autoris=E9e est interdite.=20 Tout message =E9lectronique est susceptible d'alt=E9ration.=20 La SOCIETE GENERALE et ses filiales d=E9clinent toute responsabilit=E9 au titre de ce message s'il a =E9t=E9 alt=E9r=E9, d=E9form=E9 ou falsifi=E9. ******** This message and any attachments (the "message") are confidential and intended solely for the addressees. Any unauthorised use or dissemination is prohibited.=20 E-mails are susceptible to alteration.=20=20=20 Neither SOCIETE GENERALE nor any of its subsidiaries or affiliates shall be liable for the message if altered, changed or falsified.=20 *************************************************************************