Version française
Home     About     Download     Resources     Contact us    
Browse thread
OCaml on IA-64 (was "About Ocaml and Sourceforge").
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Xavier Leroy <Xavier.Leroy@i...>
Subject: Re: OCaml on IA-64
> 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.