If you don't have access to a G5 at INRIA (there seems to be some at  
IRISA, http://www.irisa.fr/paris/General/apple.htm),
I would be very happy to provide you with an account on a G5 machine  
with a ppc64 Linux
(64bit kernel, gcc, libc, ...).

Gregory Lafitte

In the caml-list, on October 27th 2005, Xavier Leroy wrote:

> I've been asked to research the use of Ocaml in high-performance
> computing applications on Mac OS X. I take this to mean (a) 64-bit
> applications (the client says so) and (b) compiled applications.
>

As you found out, ocamlopt currently cannot generate PPC64 code.
So, it's either bytecode-only in 64-bit mode, or native code in 32-bit
mode.

A PPC64 port of ocamlopt looks reasonably simple, but that will have
to wait until a Mac G5 lands here at INRIA.