Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Sven Luther <sven.luther@wanadoo.fr>
To: David Brown <caml-list@davidb.org>
Cc: David McClain <dmcclain1@mindspring.com>, caml <caml-list@inria.fr>
Subject: Re: [Caml-list] 64-bit OCaml?
Date: Sat, 6 Nov 2004 10:43:55 +0100	[thread overview]
Message-ID: <20041106094355.GA8612@pegasos> (raw)
In-Reply-To: <20041106050518.GA12048@old.davidb.org>

On Fri, Nov 05, 2004 at 09:05:18PM -0800, David Brown wrote:
> On Fri, Nov 05, 2004 at 09:02:11PM -0700, David McClain wrote:
> 
> > I just obtained a new iMac G5 here. My cursory understanding is that this is
> > a 64 bit core processor. However, when I attempted to run config for
> > rebuilding the OCaml system, it reports a 32 bit system. What can or must I
> > do to coax OCaml to become a 64 bit system for this processor?
> 
> Install a 64-bit OS on the machine.  Mac OSX is still a 32-bit OS.  You can
> enable -mcpu=G5 to make use of the 64-bit registers and such, the pointers
> are still 32-bits, which means that ocaml words will still be 32 bits.
> 
> I don't know what Apple's plans are as far as 64-bit support in the OS.
> 
> PPC linux runs native 64-bit on the G5, but it isn't all that stable, yet.

I think only gentoo has real 64bit (all packages built as 64bit), but you
don't really want to run gentoo.

Most other powerpc linux (debian, YDL, suze, mandrake seems to have dropped
ppc lately i think) are either pure 32bit only, or use a 64bit kernel with a
mixed 32/64 bit userland.

Friendly,

Sven Luther


  reply	other threads:[~2004-11-06  9:26 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-11-06  4:02 David McClain
2004-11-06  5:05 ` [Caml-list] " David Brown
2004-11-06  9:43   ` Sven Luther [this message]
2004-11-06  5:15 ` David Brown
2004-11-06  9:41 ` Sven Luther
2004-11-06 10:06 ` Xavier Leroy
2004-11-06 12:16   ` Sven Luther
2004-11-06 15:47   ` John Carr
2004-11-07 20:18   ` Francis Dupont

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=20041106094355.GA8612@pegasos \
    --to=sven.luther@wanadoo.fr \
    --cc=caml-list@davidb.org \
    --cc=caml-list@inria.fr \
    --cc=dmcclain1@mindspring.com \
    /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