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
Date: Fri, 7 Jul 2000 21:58:13 +0200 [thread overview]
Message-ID: <20000707215813.37253@pauillac.inria.fr> (raw)
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
> 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.
next prev parent reply other threads:[~2000-07-09 12:44 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-07-07 11:36 OCaml on IA-64 (was "About Ocaml and Sourceforge") Jean-Marc EBER
2000-07-07 19:58 ` Xavier Leroy [this message]
2000-07-11 12:02 ` OCaml on IA-64 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=20000707215813.37253@pauillac.inria.fr \
--to=xavier.leroy@inria.fr \
--cc=Jean-Marc.Eber@socgen.com \
--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