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-18 (09:42)
From: Sven <luther@d...>
Subject: Re: [Caml-list] caml on LinuxPPC
On Fri, Feb 15, 2002 at 04:25:58PM +0100, Xavier Leroy wrote:
> > How well-supported is OCaml under LinuxPPC?
> Fairly well.  This is one of the platforms that we have easy access
> to, so every release is tested under LinuxPPC.  One of the OCaml
> developers regularly works under LinuxPPC; another recently fell in
> love with MacOSX and defected :-)  
> The only known problem with OCaml for the PowerPC (Linux and MacOSX)
> is that ocamlopt can generate assembly code that fails to assemble
> on programs that contain very large functions.  The assembler issues
> an error, so it's not a case of bad code being silently generated.
> This affects native-code compilation of certain applications, such as
> Coq and (ironically) one component of the OCaml compiler (camlp4.opt,
> generated during "make opt.opt").  This was fixed recently in the
> working sources.

Could a patch be extracted of the current working source that i could apply to
the debian package ?

This is rather urgent for me, as woody freeze time is RSN, and i would rather
disable ppc native code before the freeze rather than shiping a package with

Also, did you also solve the problem on ia64, or do you not have access to
such a machine ?


Sven Luther
Bug reports:  FAQ:
To unsubscribe, mail  Archives: