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.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 78550BB84 for ; Thu, 25 Sep 2008 13:11:25 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjADAGYO20jAXQImiGdsb2JhbACTHwEBARUioCWHJ4Fl X-IronPort-AV: E=Sophos;i="4.33,308,1220220000"; d="scan'208";a="15335057" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 25 Sep 2008 13:11:25 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m8PBBOxB006471 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 25 Sep 2008 13:11:25 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AroEAKIO20hQDPIaX2dsb2JhbACTFRcJCgYUA6AihyOBZQ X-IronPort-AV: E=Sophos;i="4.33,308,1220220000"; d="scan'208";a="29573496" Received: from smtp20.orange.fr ([80.12.242.26]) by mail4-smtp-sop.national.inria.fr with ESMTP; 25 Sep 2008 13:11:24 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2004.orange.fr (SMTP Server) with ESMTP id 7457B1C0008C; Thu, 25 Sep 2008 13:11:24 +0200 (CEST) Received: from [127.0.0.1] (APuteaux-154-1-14-138.w83-199.abo.wanadoo.fr [83.199.7.138]) by mwinf2004.orange.fr (SMTP Server) with ESMTP id DF7A61C00045; Thu, 25 Sep 2008 13:11:23 +0200 (CEST) X-ME-UUID: 20080925111123915.DF7A61C00045@mwinf2004.orange.fr Message-ID: <48DB71D6.1040504@frisch.fr> Date: Thu, 25 Sep 2008 13:11:18 +0200 From: Alain Frisch User-Agent: Thunderbird 2.0.0.16 (Windows/20080708) MIME-Version: 1.0 To: bill yan Cc: Richard Jones , =?ISO-8859-1?Q?St=E9phane_Glondu?= , caml-list@inria.fr Subject: Re: [Caml-list] What's the purpose of the static library? References: <48D712A8.6090506@sun.com> <48D766CC.5020401@glondu.net> <48D8B266.4000906@sun.com> <20080923101710.GA29133@annexia.org> <48DB6EE8.3040508@sun.com> In-Reply-To: <48DB6EE8.3040508@sun.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Antivirus: avast! (VPS 080924-1, 24/09/2008), Outbound message X-Antivirus-Status: Clean X-Miltered: at discorde with ID 48DB71DC.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; frisch:01 frisch:01 ocaml:01 runtime:01 bytecode:01 dynlink:01 wrote:01 dynamically:01 compile:01 caml-list:01 alain:01 alain:01 explicitly:02 api:02 native:03 bill yan wrote: > By my understanding, unlike dlllibrary.so and liblibrary.a give user an > option to choose compile dynamically or staticly, it seems for > library.a, user can only choose static method. Does that mean "compiled > native code" can only be staticly linked to user's application? In OCaml 3.11, it will be possible to link native code (found in library.a or module.o files) into .cmxs files that can be explicitly loaded at runtime (with the same API as for bytecode Dynlink). Alain