From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 73D4DBC69 for ; Wed, 24 Oct 2007 20:34:49 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAALosH0fAXQImh2dsb2JhbACOWgIBCAopgSc X-IronPort-AV: E=Sophos;i="4.21,325,1188770400"; d="scan'208";a="3607051" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 24 Oct 2007 20:34:49 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l9OIYmdh001729 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 24 Oct 2007 20:34:49 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAALosH0fUGyokimdsb2JhbACOWgIBCAQGEREHgSc X-IronPort-AV: E=Sophos;i="4.21,325,1188770400"; d="scan'208";a="18570653" Received: from smtp6-g19.free.fr ([212.27.42.36]) by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Oct 2007 20:33:46 +0200 Received: from smtp6-g19.free.fr (localhost.localdomain [127.0.0.1]) by smtp6-g19.free.fr (Postfix) with ESMTP id 40C775FE46; Wed, 24 Oct 2007 20:33:46 +0200 (CEST) Received: from [192.168.1.3] (che78-2-82-237-71-191.fbx.proxad.net [82.237.71.191]) by smtp6-g19.free.fr (Postfix) with ESMTP id AC6D15FE8D; Wed, 24 Oct 2007 20:33:43 +0200 (CEST) Message-ID: <471F9006.8000905@inria.fr> Date: Wed, 24 Oct 2007 20:33:42 +0200 From: Xavier Leroy User-Agent: Thunderbird 2.0.0.4 (X11/20070620) MIME-Version: 1.0 To: Richard Jones Cc: caml-list@inria.fr Subject: Re: [Caml-list] OCaml on ppc64 (Linux)? References: <20071023165211.GA8917@furbychan.cocan.org> In-Reply-To: <20071023165211.GA8917@furbychan.cocan.org> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 471F9048.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 powerpc:01 powerpc:01 macosx:01 macosx:01 caml-list:01 supported:02 strong:96 purchase:96 playstation:94 i'd:06 xavier:06 xavier:06 inria:06 > Does anyone know of the status of OCaml on ppc64 on Linux? > It's a secondary Fedora platform and therefore I'd like to support it. > Someone at Red Hat did some work on trying to port it, but it was > still quite broken AIUI: Right. I followed David Woodhouse's attempts from a distance. While PPC64/MacOSX (supported in OCaml 3.10) is a small change from PPC32/MacOSX, there are significant differences between PPC64/Linux and PPC32/Linux -- or for that matter PPC64/Linux and all other PPC platforms. > Is there anything we can do to help it along (eg. hardware purchase or > also we can give out limited accounts on a PPC64 machine)? My initial reaction was to conclude that PPC64 isn't worth the porting effort: Apple killed the PowerPC architecture on the desktop, and while PowerPC is still strong in the embedded world, it's in 32-bit mode. Then someone told me that the Playstation 3 is a PPC64/Linux platform... I'm still not quite sure whether having OCaml on PPC64/Linux is worth the effort, even if we had the corresponding hardware. - Xavier Leroy