Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Jean-Marc EBER <Jean-Marc.Eber@socgen.com>
To: caml-list <caml-list@inria.fr> (IPM Return requested)
Cc: "Xavier.Leroy" <Xavier.Leroy@inria.fr> (IPM Return requested)
Subject: OCaml on IA-64 (was "About Ocaml and Sourceforge").
Date: 07 Jul 2000 13:36:24 +0200	[thread overview]
Message-ID: <023623965C0B8031*/c=FR/admd=ATLAS/prmd=SG/o=INFI/s=EBER/g=JEAN-MARC/@MHS> (raw)

>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 byte-code compiler for
this platform (I know well that there is a 64 bit version of the *byte-code compiler* available (Alpha),
but as we all know, one often encounter some unforseen problems...) ?

Jean-Marc Eber

Société Générale
Infi/Dir
17, cours Valmy, F 92 987 Paris - La Défense Cedex
Tél +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èces jointes (ci-après le "message") sont
confidentiels et établis à l'intention exclusive de ses destinataires.
Toute utilisation ou diffusion non autorisée est interdite. 
Tout message électronique est susceptible d'altération. 
La SOCIETE GENERALE et ses filiales déclinent toute responsabilité au titre de ce message s'il a été altéré, déformé ou falsifié.

				********

This message and any attachments (the "message") are confidential and
intended solely for the addressees.
Any unauthorised use or dissemination is prohibited. 
E-mails are susceptible to alteration.   
Neither SOCIETE GENERALE nor any of its subsidiaries or affiliates shall be liable for the message if altered, changed or falsified. 

*************************************************************************



             reply	other threads:[~2000-07-07 14:52 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-07-07 11:36 Jean-Marc EBER [this message]
2000-07-07 19:58 ` OCaml on IA-64 Xavier Leroy
2000-07-11 12:02   ` David Mentré
2000-07-18 20:49     ` Xavier Leroy

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='023623965C0B8031*/c=FR/admd=ATLAS/prmd=SG/o=INFI/s=EBER/g=JEAN-MARC/@MHS' \
    --to=jean-marc.eber@socgen.com \
    --cc=Xavier.Leroy@inria.fr \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox