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.3 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 6C08FBC69 for ; Fri, 3 Nov 2006 12:56:37 +0100 (CET) Received: from kraid.nerim.net (smtp-105-friday.nerim.net [62.4.16.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id kA3BuW5q009038 for ; Fri, 3 Nov 2006 12:56:37 +0100 Received: from hector.lesours (ours.starynkevitch.net [213.41.244.95]) by kraid.nerim.net (Postfix) with ESMTP id 39F3E40F09 for ; Fri, 3 Nov 2006 12:56:22 +0100 (CET) Received: from basile by hector.lesours with local (Exim 4.63) (envelope-from ) id 1Gfxeo-0002n7-Rs for caml-list@yquem.inria.fr; Fri, 03 Nov 2006 12:56:22 +0100 Date: Fri, 3 Nov 2006 12:56:22 +0100 To: caml-list@yquem.inria.fr Subject: Ocaml x86/32 bits on Linux/AMD64 Message-ID: <20061103115622.GC9399@ours.starynkevitch.net> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-15 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.5.13 (2006-08-11) From: Basile STARYNKEVITCH X-Miltered: at discorde with ID 454B2E70.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 basile:01 basile:01 ocamlopt:01 configuring:01 ocaml:01 faiencerie:01 92340:01 reine:01 binaries:01 compile:01 2359:02 elf:03 gnu:03 debian:03 Hello All (I'm considering coding some 32bits CGI on my AMD64 Debian/Sid desktop, so...) Does anyone know how to compile an ocamlopt generating 32 bits ELF binaries on a Debian/Sid/AMD64 GNU/Linux desktop. I would like to avoid the usual 32bits chroot solution.... configuring ocaml with CC='gcc -m32' is apparently not enough Regards -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8601 2359 8, rue de la Faïencerie, 92340 Bourg La Reine, France