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 OAA01647 for caml-red; Sun, 9 Jul 2000 14:44:08 +0200 (MET DST)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA01992 for <caml-list@pauillac.inria.fr>; Fri, 7 Jul 2000 21:58:14 +0200 (MET DST)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e67JwDn18877;
	Fri, 7 Jul 2000 21:58:13 +0200 (MET DST)
Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA17554; Fri, 7 Jul 2000 21:58:13 +0200 (MET DST)
Message-ID: <20000707215813.37253@pauillac.inria.fr>
Date: Fri, 7 Jul 2000 21:58:13 +0200
From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Jean-Marc EBER <Jean-Marc.Eber@socgen.com>, caml-list <caml-list@inria.fr>
Subject: Re: OCaml on IA-64
References: <023623965C0B8031*/c=FR/admd=ATLAS/prmd=SG/o=INFI/s=EBER/g=JEAN-MARC/@MHS>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Mailer: Mutt 0.89.1
In-Reply-To: <023623965C0B8031*/c=FR/admd=ATLAS/prmd=SG/o=INFI/s=EBER/g=JEAN-MARC/@MHS>; from Jean-Marc EBER on Fri, Jul 07, 2000 at 01:36:24PM +0200
Sender: weis@pauillac.inria.fr

> 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...) ?

Well, IA64/Linux is a rather well-behaved platform, and I didn't
encounter any unforeseen problems.  Caml Light 0.74 compiles right
out of the box, and so does OCaml 3.00 in bytecode mode, with a tiny
patch to one of the configuration files.  The patch is attached below,
just in case you have access to one of those babies...

As an aside, this isn't the first time that Caml runs on a new
architecture before it's commercially available: circa 1992, Damien
Doligez, then summer intern at Digital, got Caml Light to run on an
early Alpha prototype...

- Xavier Leroy

Index: csl/config/auto-aux/config.sub
diff -c csl/config/auto-aux/config.sub:1.6 csl/config/auto-aux/config.sub:1.7
*** csl/config/auto-aux/config.sub:1.6	Wed Apr  5 20:30:13 2000
--- csl/config/auto-aux/config.sub	Fri Jun 30 18:37:42 2000
***************
*** 151,157 ****
                | hppa1.0-* | hppa1.1-* | alpha-* | we32k-* | cydra-* | ns16k-* \
                | pn-* | np1-* | xps100-* | clipper-* | orion-* | sparclite-* \
                | pdp11-* | sh-* | powerpc-* | powerpcle-* | sparc64-* | mips64-* | mipsel-* \
!               | mips64el-* | mips64orion-* | mips64orionel-*)
                  ;;
          # Recognize the various machine names and aliases which stand
          # for a CPU type and a company and sometimes even an OS.
--- 151,158 ----
                | hppa1.0-* | hppa1.1-* | alpha-* | we32k-* | cydra-* | ns16k-* \
                | pn-* | np1-* | xps100-* | clipper-* | orion-* | sparclite-* \
                | pdp11-* | sh-* | powerpc-* | powerpcle-* | sparc64-* | mips64-* | mipsel-* \
!               | mips64el-* | mips64orion-* | mips64orionel-* \
!               | ia64-*)
                  ;;
          # Recognize the various machine names and aliases which stand
          # for a CPU type and a company and sometimes even an OS.