From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q3QEUxl8001924
	for <caml-list@sympa-roc.inria.fr>; Thu, 26 Apr 2012 16:30:59 +0200
X-IronPort-AV: E=Sophos;i="4.75,486,1330902000"; 
   d="scan'208";a="141729058"
Received: from montgallet.polytechnique.fr (HELO MacBook-Pro-de-Xavier-ALLAMIGEON.local) ([129.104.4.248])
  by mail4-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-CAMELLIA256-SHA; 26 Apr 2012 16:30:54 +0200
Message-ID: <4F995C1E.8030507@inria.fr>
Date: Thu, 26 Apr 2012 16:30:54 +0200
From: Xavier ALLAMIGEON <xavier.allamigeon@inria.fr>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6; rv:11.0) Gecko/20120327 Thunderbird/11.0.1
MIME-Version: 1.0
To: Alain Frisch <alain@frisch.fr>
CC: caml-list@inria.fr
References: <4F99003B.9070001@inria.fr> <4F990869.5050105@etorok.net> <4F991E88.5060402@inria.fr> <4F993E2B.70700@frisch.fr>
In-Reply-To: <4F993E2B.70700@frisch.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] static C library of wrappers: compilation issues

Le 26/04/12 14:23, Alain Frisch a écrit :
> On 04/26/2012 12:08 PM, Xavier ALLAMIGEON wrote:
>> What do you mean exactly? I imagine that test.o needs some functions of
>> the libhello_world.a. But I don't see why libasmrun would need some
>> other functions of libhello_world...
>
> Well, this is the case. libasmrun contains the runtime system for OCaml
> code (compiled with ocamlopt) and, as you can see in the error message
> from the linker, it depends on symbols provided by the OCaml program.
> For instance, the garbage collector (in libasmrum) needs to find special
> symbols, to locate some data structures (in libhello_world.a) created by
> the compiler.
Ok, now I understand, thanks a lot for your explanation.

Best regards.
Xavier