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=1.0 required=5.0 tests=AWL,SPF_FAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 57831BC50 for ; Sat, 16 Sep 2006 22:59:06 +0200 (CEST) Received: from mail.gmx.net (mail.gmx.net [213.165.64.20]) by concorde.inria.fr (8.13.6/8.13.6) with SMTP id k8GKx53H013748 for ; Sat, 16 Sep 2006 22:59:06 +0200 Received: (qmail invoked by alias); 16 Sep 2006 20:59:05 -0000 Received: from dyn-212-77-186-168.r-adsl.de (EHLO circe.entropie.net) [212.77.186.168] by mail.gmx.net (mp017) with SMTP; 16 Sep 2006 22:59:05 +0200 X-Authenticated: #2227385 Received: by circe.entropie.net (Postfix, from userid 500) id 0DDCCD8F9; Sat, 16 Sep 2006 22:59:05 +0200 (CEST) Date: Sat, 16 Sep 2006 22:59:04 +0200 From: "Martin S. Weber" To: Oliver Bandel Cc: caml-list@inria.fr Subject: Re: [Caml-list] OCamlon 64 Bit-Sun compiled as 32-Bit Message-ID: <20060916205904.GC6039@circe.entropie.net> References: <20060916185514.GA6087@first.in-berlin.de> <20060916195545.GB6039@circe.entropie.net> <20060916200056.GA6205@first.in-berlin.de> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20060916200056.GA6205@first.in-berlin.de> User-Agent: Mutt/1.4.2.2i X-Y-GMX-Trusted: 0 X-Miltered: at concorde with ID 450C6599.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; bandel:01 compiler:01 gcc:01 compiler:01 autoconf:01 flags:01 flags:01 autoconf:01 2006:98 2006:98 wrote:01 wrote:01 oliver:01 caml-list:01 compiling:02 Hoi & ugh. On Sat, Sep 16, 2006 at 10:00:56PM +0200, Oliver Bandel wrote: > On Sat, Sep 16, 2006 at 09:55:45PM +0200, Martin S. Weber wrote: > > (...) > > See if you can pass a CPPFLAGS=-m64 to your compiler (gcc option, > > if you're using sunpro pass the appropriate flag to the compiler > > to enable/force 64bit compiling)... > [...] > > I doubt setting gcc-Flags make sense, if this is not a flag, > that the ./configure-script inthe sources-directory accepts. My fault. I'm used to autoconf scripts, and setting the environment variable 'CPPFLAGS' (C pre processor flags) will pass additional flags to the C compiler. This doesn't seem to be an autoconf build though, sorry. What I said about code generation and the default setting of your machine's host compiler remains true :) > (...) > At least theconfigure-script did not find out that the machine > is a 64-Bit's machine. So at least the config-script could be > changed. (Or there is an 64-Bit-option, which I didn't checked, > because I thought, it will find it out by itself. It did not find an 64bit env because your compiler by default doesn't offer a 64bit env :) Good luck ... -Martin