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.8 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 32A98BC6E for ; Wed, 21 Nov 2007 20:05:41 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAO8PREfYi+yen2dsb2JhbACPNAEBAQEHBAYJCBiBDw X-IronPort-AV: E=Sophos;i="4.21,448,1188770400"; d="scan'208";a="4483468" Received: from kuber.nabble.com ([216.139.236.158]) by mail2-smtp-roc.national.inria.fr with ESMTP; 21 Nov 2007 20:05:42 +0100 Received: from isper.nabble.com ([192.168.236.156]) by kuber.nabble.com with esmtp (Exim 4.63) (envelope-from ) id 1IuutG-0001Tm-RC for caml-list@yquem.inria.fr; Wed, 21 Nov 2007 11:05:38 -0800 Message-ID: <13883899.post@talk.nabble.com> Date: Wed, 21 Nov 2007 11:05:38 -0800 (PST) From: Mike Hogan To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] OCaml on Sony PS3 (was Re: More registers in modern day CPUs) In-Reply-To: <20071121172049.GB17695@furbychan.cocan.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Nabble-From: MikeHogan62@gmail.com References: <875c7e070709060755r1d0d099ds30a25ea78d0fd85a@mail.gmail.com> <46E01A27.1070207@janestcapital.com> <509223F0BF55E74FA1247D17207E7A0C01D75893@orsmsx419.amr.corp.intel.com> <87r6lb90tw.fsf@linux-france.org> <46E046DF.5010103@univ-savoie.fr> <46E04B85.1020004@naughtydog.com> <13858952.post@talk.nabble.com> <20071121172049.GB17695@furbychan.cocan.org> X-Spam: no; 0.00; ocaml:01 byte-code:01 ocamlopt:01 ocamlc:01 ocamlc:01 ocamlopt:01 coq:01 coq:01 byte:01 byte:01 noticeably:01 camlp:01 ocaml:01 compiler:01 beginner's:01 I'll try to check out the details tonight, but I have to confess that I am a newb's newb -- never compiled a line of open source in my life until about a week-and-a-half ago. Offhand, I'm not sure about the version beyond the fact that it's "3.10" (something?). It is some labeled version (not the development trunk) and I'm pretty sure that I built it as plain PPC and in byte-code interpreted mode (i.e. there was no ocamlopt after the build). I did end up with an ocamlc.opt and actually copied ocamlc.opt to "ocamlopt" in order to build Coq 8.1pl2 (there seems to be a problem w/ the builds in Coq under the "opt=byte" option where it insists on using ocamlopt in some cases, despite "opt=byte" option being asserted). In light of your question, I'm hoping that I can manage to improve the builds for the Cell BE w/o too much trouble (maybe by following the pattern of some other architectures in the build?). PPC native would be great, ppc64 would be fantastic. As an aside, Coqide seems to run proofs noticeably faster on my PS3 than on my XP laptop (1.86GHz Centrino), even though the PS3 is built in byte-interpreted mode (I'm presuming that Coq on Windows uses a native build). That was a nice surprise. My larger goal is to try to use camlp4 as a way to generate highly parallel Cell SPU code -- kind of modeled after CorePy's "synthetic programming" idea. Hopefully any lack of a native build for PS3 won't be a roadblock for this. Richard Jones-4 wrote: > > On Tue, Nov 20, 2007 at 07:32:34AM -0800, Mike Hogan wrote: >> I have recently compiled OCaml 3.10 for the PS3 running Yellow Dog Linux. >> Seems to work fine, but I haven't tested it rigorously (and at this >> point, I >> wouldn't even know how to test it ... um ...what's the opposite of >> "rigorously"? ... non-rigorously?) > > Native compiler? 64 bits?? Which version of OCaml??? > > Rich. > > -- > Richard Jones > Red Hat > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > -- View this message in context: http://www.nabble.com/More-registers-in-modern-day-CPUs-tf4389938.html#a13883899 Sent from the Caml Discuss2 mailing list archive at Nabble.com.