From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 084E5BC37 for ; Wed, 27 Jan 2010 18:56:08 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak0DAMIMYEtQRFuwWWdsb2JhbACbSgEWFQS9U4Q5BA X-IronPort-AV: E=Sophos;i="4.49,355,1262559600"; d="scan'208";a="54799752" Received: from furbychan.cocan.org ([80.68.91.176]) by mail4-smtp-sop.national.inria.fr with ESMTP; 27 Jan 2010 18:56:07 +0100 Received: from rich by furbychan.cocan.org with local (Exim 4.63) (envelope-from ) id 1NaC7Z-0005mo-Ve; Wed, 27 Jan 2010 17:56:05 +0000 Date: Wed, 27 Jan 2010 17:56:05 +0000 To: Christophe Papazian Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Alignment of data Message-ID: <20100127175605.GA21580@annexia.org> References: <5876A229-025E-47CE-B02F-4B00CD26BFAB@gmail.com> <4B6066AB.5010907@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.13 (2006-08-11) From: Richard Jones X-Spam: no; 0.00; alignment:01 0100,:01 christophe:01 powerpc:01 ocaml:01 powerpc:01 cvs:01 ocaml:01 ocaml-:01 wiki:01 wrote:01 caml-list:01 data:02 compiling:02 tree:02 On Wed, Jan 27, 2010 at 06:20:44PM +0100, Christophe Papazian wrote: > Is there a 64-bit PowerPC Linux (ELF) support in ocaml ? I thought > it was only a 64-bit PowerPC OSX (Darwin) support... Yes indeed there is. For years we maintained an out of tree patch to support this for Fedora/ppc64: http://cvs.fedoraproject.org/viewvc/F-12/ocaml/ocaml-3.11.0-ppc64.patch However Fedora 13 (onwards) has relegated ppc (32 & 64 bit) support to status of a "secondary architecture"[1], which effectively means we don't care about it. For this reason I dropped this patch and don't intend to maintain it. The patch itself seems relatively trouble-free. We built all the Fedora packages with it, and only a couple had problems compiling on ppc64. Since I never had access to a real ppc64 machine, I was never able to determine if these build problems were because this patch is faulty or for some other unrelated reason, so YMMV. Rich. [1] http://fedoraproject.org/wiki/Architectures#Structure -- Richard Jones Red Hat