From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 469E37F1DD for ; Fri, 11 Jan 2013 10:56:44 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.84,451,1355094000"; d="scan'208";a="189444144" Received: from estephe.inria.fr (HELO [128.93.11.95]) ([128.93.11.95]) by mail1-relais-roc.national.inria.fr with ESMTP; 11 Jan 2013 10:56:44 +0100 Message-ID: <50EFE1DC.9060907@inria.fr> Date: Fri, 11 Jan 2013 10:56:44 +0100 From: Xavier Leroy User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/17.0 Thunderbird/17.0 MIME-Version: 1.0 To: r0ller CC: caml-list@inria.fr References: In-Reply-To: X-Enigmail-Version: 1.4.6 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] ocamlc compiles hello world, ocamlopt not On 01/11/2013 10:28 AM, r0ller wrote: > Minix3 is an ELF based system indeed. I asked the guys on the minix3 forum and one of the developers said that neither the default minix toolchain (clang) nor the minix port of gcc prepends leading underscores. However, he had a hint about checking if the ocaml package itself is trying to guess during its build whether leading underscore prepending is done on the host system or not. Indeed, the "configure" script tries to guess this, among other platform dependencies. > If that's true, I'd need to recompile the ocaml package whilst trying to indicate somehow that the minix3 system does not need leading underscore prepending, right? Yes. For your first try, just manually edit the generated file config/Makefile so that it has ARCH=i386 MODEL=default SYSTEM=linux_elf then do "make opt" and "make opt.opt" and see if it now works. If it does, you may want to investigate why the ./configure script guessed wrong on your Minix system. Running "sh -x ./configure" generates a useful trace. - Xavier Leroy