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=3.3 required=5.0 tests=AWL,DNS_FROM_RFC_POST, HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 3B424BBC4 for ; Mon, 30 Mar 2009 09:30:31 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvcBAF8R0ElIDtybkGdsb2JhbACCIzGScD8BAQEBCQkMBxEDoy+BB40QAQMBA4N3Bg X-IronPort-AV: E=Sophos;i="4.38,445,1233529200"; d="scan'208";a="23536379" Received: from fg-out-1718.google.com ([72.14.220.155]) by mail2-smtp-roc.national.inria.fr with ESMTP; 30 Mar 2009 09:30:30 +0200 Received: by fg-out-1718.google.com with SMTP id 19so628871fgg.20 for ; Mon, 30 Mar 2009 00:30:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:cc:content-type; bh=OmPSPeymF0s3oho42k3sLla3cCAVzvcXuTeDTpRD4UI=; b=QS+xutmy62iaRrFq9RiiGTscilbZ4Qw9c6W2VugzLCHbfKLbYCjSEV3ie46c2gEKea g3wbDwvclzb3Iu8MssWB7bGX1cVz/FRPz2kJXVDxYQj9m0XbnU2WPIb7ajpk0aufraWK 7QcgbACVZVMKqoUOzGIdSrfmEe9bHXSUvKZ6I= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; b=Q8x5yUPC3t7h3XjluZCbiA9NNsMt6Fpd4uTdeeeZ1nG6w/MZ3IIAZ+w36y6m1BF1Km tDWfgVhXqEFpAdAOFnr1WWP+or3dhuLiBBzb0j/3HOL6btQFI46nGrjJh/6vr7sJertI DWXXkp1FX3F9Q65x2ZmZ5Zf9j+pQ3hhKSplaM= MIME-Version: 1.0 Received: by 10.86.1.1 with SMTP id 1mr4036973fga.0.1238398230632; Mon, 30 Mar 2009 00:30:30 -0700 (PDT) In-Reply-To: <49CD0AB7.8000200@inria.fr> References: <49CD0AB7.8000200@inria.fr> Date: Mon, 30 Mar 2009 09:30:30 +0200 Message-ID: Subject: Re: [Caml-list] PowerPC 405 From: Gregory Bellier To: Xavier Leroy Cc: caml-list@yquem.inria.fr Content-Type: multipart/alternative; boundary=000e0cd25480a099700466510e4e X-Spam: no; 0.00; powerpc:01 basile:01 basile:01 powerpc:01 caml's:01 lib:01 ocaml:01 libc:01 ocaml:01 caml's:01 lib:01 libc:01 2009:98 sony:98 2009:98 --000e0cd25480a099700466510e4e Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Thank you Basile and Xavier, you were very helpful. That's nice of you. Basile, I'm sorry but I'm not sure I can talk freely about what we're about to do. Sorry, company policy :( Anyway, thanks again and I'll write back when I'll have other questions. Gregory BELLIER. 2009/3/27 Xavier Leroy > Just to complement Basile's excellent answers: > > > Do you know if it is possible to compile caml code on a PowerPC 405 > > from the Vertex 4 family ? > > We'd like to put this processor in a FPGA. On the Caml's website, > > it is written "PowerPC" but is it only for Macintosch ? > > Not just Macintosh: PowerPC/Linux is also supported and works very > well. > > > Yes, it will run Linux. It will have the uclibC or even the lib C. > > Then you're in good shape. I would expect a basic OCaml system to > work with uclibC, although a number of external libraries might not. > With GNU libC, everything will work but watch out for code size: > glibc is big! > > > The best case is to run native code for better performance. We'd > > like to cross-compile for the PowerPC. > > Setting up OCaml as a cross-compiler is a bit of a challenge at the > moment. As a prerequisite, you'll need a complete cross-compilation > environment for C: cross-compiler, cross-binutils, libraries and > header files for your target. It sounds obvious but in my experience > that's quite hard to get right. Then, there is a bit of configuration > magic to be done on the OCaml side. Write back for help if you're > going to follow this way. > > A perhaps simpler alternative would be to compile on a bigger > PowerPC/Linux platform. An old Mac would be handy for this, but you > can also use a Sony Playstation 3 (if you happen to have one around > for, ahem, R&D purposes) after installing YellowDog Linux on it. > > - Xavier "doing lots of R&D with my PS3" Leroy > > --000e0cd25480a099700466510e4e Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Thank you Basile and Xavier, you were very helpful. That's nice of you.=
Basile, I'm sorry but I'm not sure I can talk freely about what= we're about to do. Sorry, company policy :(

Anyway, thanks agai= n and I'll write back when I'll have other questions.

Gregory BELLIER.


2009/3/27 Xavier= Leroy <Xavie= r.Leroy@inria.fr>
Just to complement Basile's excellent answers:

> Do you know if it is possible to compile caml code on a PowerPC 405 > from the Vertex 4 family ?
> We'd like to put this processor in a FPGA. =A0On the Caml's we= bsite,
> it is written "PowerPC" but is it only for Macintosch ?

Not just Macintosh: PowerPC/Linux is also supported and works very well.

> Yes, it will run Linux. It will have the uclibC or even the lib C.

Then you're in good shape. =A0I would expect a basic OCaml system= to
work with uclibC, although a number of external libraries might not.
With GNU libC, everything will work but watch out for code size:
glibc is big!

> The best case is to run native code for better performance. We'd > like to cross-compile for the PowerPC.

Setting up OCaml as a cross-compiler is a bit of a challenge at the moment. =A0As a prerequisite, you'll need a complete cross-compilation<= br> environment for C: cross-compiler, cross-binutils, libraries and
header files for your target. =A0It sounds obvious but in my experience
that's quite hard to get right. =A0Then, there is a bit of configuratio= n
magic to be done on the OCaml side. =A0Write back for help if you're going to follow this way.

A perhaps simpler alternative would be to compile on a bigger
PowerPC/Linux platform. =A0An old Mac would be handy for this, but you
can also use a Sony Playstation 3 (if you happen to have one around
for, ahem, R&D purposes) after installing YellowDog Linux on it.

- Xavier "doing lots of R&D with my PS3" Leroy


--000e0cd25480a099700466510e4e--