Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] caml on LinuxPPC
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-02-25 (09:23)
From: Sven <luther@d...>
Subject: Re: [Caml-list] caml on LinuxPPC
On Mon, Feb 18, 2002 at 10:40:55AM +0100, Sven wrote:
> On Thu, Feb 14, 2002 at 10:17:33PM -0500, Eric C. Cooper wrote:
> > On Tue, Feb 12, 2002 at 01:38:05PM -0600, Will Benton wrote:
> > > How well-supported is OCaml under LinuxPPC?
> > 
> > The short answer to your question is: not as well as under x86 Linux.
> > 
> > I just did a quick test on a Debian powerpc, using the latest ocaml,
> > lablgtk, and lablgl packages (from Debian "unstable") to compile apps
> > that I originally wrote on an x86.
> > 
> > My vanilla OCaml and GTK apps compiled and ran OK with ocamlc.  They
> > compiled with ocamlopt but did not work (the resulting code just
> > looped).  They didn't compile with ocamlopt.opt: the compiler itself
> > would either loop or segfault (consistent with the previous
> > observation of ocamlopt producing buggy code).
> Yes, there seems to be a bug in the actual powerpc version of the native code
> compilers. Xavier and the ocaml team are aware of that and actively working on
> it (i don't know if there is a solution yet though).
> That said, previous versions of ocaml did work fine on ppc, and i have great
> hopes that this will happen again as soon as this bug is corrected.
> In the meantime, i will disable native code build on ppc, just to be on the
> safe side.

Hello, ...

Just as a follow up on this, i did get the powerpc patch from Xavier out of
CVS and applied it to the debian packages. The packages build fine now on
powerpc, and this kind of problems should have been gone.


Sven Luther
To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: