From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA12681; Fri, 15 Feb 2002 16:26:02 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA13813 for ; Fri, 15 Feb 2002 16:26:01 +0100 (MET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g1FFPx519834; Fri, 15 Feb 2002 16:25:59 +0100 (MET) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA15117; Fri, 15 Feb 2002 16:25:58 +0100 (MET) Date: Fri, 15 Feb 2002 16:25:58 +0100 From: Xavier Leroy To: Will Benton Cc: caml-list@inria.fr Subject: Re: [Caml-list] caml on LinuxPPC Message-ID: <20020215162558.A14578@pauillac.inria.fr> References: <20020212133805.H16174@cilantro.cs.wisc.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0i In-Reply-To: <20020212133805.H16174@cilantro.cs.wisc.edu>; from willb@cs.wisc.edu on Tue, Feb 12, 2002 at 01:38:05PM -0600 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > 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. No other problems have been reported to us. If you encounter one, please file bug reports. - Xavier Leroy ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr