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=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 14EB0BBC4 for ; Sat, 4 Apr 2009 00:02:55 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar0FAHUk1knU4366aGdsb2JhbACWIw0LAwcHEQO4KYQPBg X-IronPort-AV: E=Sophos;i="4.39,321,1235948400"; d="scan'208";a="37828018" Received: from moutng.kundenserver.de ([212.227.126.186]) by mail4-smtp-sop.national.inria.fr with ESMTP; 04 Apr 2009 00:02:54 +0200 Received: from st11 (p5B1097CD.dip0.t-ipconnect.de [91.16.151.205]) by mrelayeu.kundenserver.de (node=mrelayeu7) with ESMTP (Nemesis) id 0ML2xA-1LprTR31Dq-0001Bt; Sat, 04 Apr 2009 00:02:53 +0200 Received: from [192.168.178.26] (thinkpad [192.168.178.26]) by st11 (Postfix) with ESMTP id 6EB4629E62; Sat, 4 Apr 2009 00:05:24 +0200 (CEST) Message-ID: <49D6878D.1040706@bik-gmbh.de> Date: Sat, 04 Apr 2009 00:02:53 +0200 From: Florian Hars User-Agent: Thunderbird 2.0.0.21 (X11/20090318) MIME-Version: 1.0 To: Jean Guyader Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] 64 bits ocamlopt to generate 32 bits code References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Provags-ID: V01U2FsdGVkX1/hT/0i1oKkXZMrvoG2U2Xwf+3y0Ug4XmhMvmv 7NHQHgJu66XOQVzJwmln0HyT/VmjxCvLLwT1BucZA/m3gfvaFD tuOp66HxM2/TrFPrWVvVw== X-Spam: no; 0.00; hars:01 hars:01 bik-gmbh:01 ocamlopt:01 guyader:01 ocamlopt:01 compilation:01 powerpc:01 wrote:01 compile:01 caml-list:01 florian:03 florian:03 bits:05 bits:05 Jean Guyader wrote: > Is it possible to generate 32 bits assembly code with a 64 bits ocamlopt? If you are adventurous, you might be able to set up a cross compilation environment, look at the PowerPC 405 thread from a few days ago for ideas. The easier way is probably to set up a 32 bit chroot environment and compile there. - Florian.