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,UNPARSEABLE_RELAY autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 31A14BB84 for ; Wed, 8 Oct 2008 05:35:19 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnIDAETH60jAXQIniGdsb2JhbACTYgEBARUiQ6ljgWo X-IronPort-AV: E=Sophos;i="4.33,376,1220220000"; d="scan'208";a="18384652" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 08 Oct 2008 05:35:18 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m983ZGu8009448 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 8 Oct 2008 05:35:18 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av4CALvH60jAEhMGjWdsb2JhbACTYgEBAQEJCwoYBT6pZ4Fq X-IronPort-AV: E=Sophos;i="4.33,376,1220220000"; d="scan'208";a="15779538" Received: from sineb-mail-1.sun.com ([192.18.19.6]) by mail2-smtp-roc.national.inria.fr with ESMTP; 08 Oct 2008 05:35:16 +0200 Received: from fe-apac-05.sun.com (fe-apac-05.sun.com [192.18.19.176] (may be forged)) by sineb-mail-1.sun.com (8.13.6+Sun/8.12.9) with ESMTP id m983ZCEb008656 for ; Wed, 8 Oct 2008 03:35:12 GMT Received: from conversion-daemon.mail-apac.sun.com by mail-apac.sun.com (Sun Java System Messaging Server 6.2-6.01 (built Apr 3 2006)) id <0K8E00F01HSJZG00@mail-apac.sun.com> (original mail from Xue-Yang.Yan@Sun.COM) for caml-list@inria.fr; Wed, 08 Oct 2008 11:35:12 +0800 (SGT) Received: from [129.158.218.53] by mail-apac.sun.com (Sun Java System Messaging Server 6.2-6.01 (built Apr 3 2006)) with ESMTPSA id <0K8E00MNOHYN9M5N@mail-apac.sun.com>; Wed, 08 Oct 2008 11:35:12 +0800 (SGT) Date: Wed, 08 Oct 2008 11:29:22 +0800 From: bill yan Subject: Re: [Caml-list] What's the purpose of the static library? In-reply-to: <48EC26F2.7030005@sun.com> Sender: Xue-Yang.Yan@Sun.COM To: Alain Frisch , =?UTF-8?B?U3TDqXBoYW5lIEdsb25kdQ==?= , caml-list@inria.fr, Richard Jones Message-id: <48EC2912.7030802@sun.com> MIME-version: 1.0 Content-type: text/plain; format=flowed; charset=UTF-8 Content-transfer-encoding: 8BIT X-Accept-Language: zh-cn References: <48D712A8.6090506@sun.com> <48D766CC.5020401@glondu.net> <48D8B266.4000906@sun.com> <20080923101710.GA29133@annexia.org> <48DB6EE8.3040508@sun.com> <48DB71D6.1040504@frisch.fr> <48EC26F2.7030005@sun.com> User-Agent: Mozilla/5.0 (X11; U; SunOS i86pc; zh-CN; rv:1.7) Gecko/20060627 X-Miltered: at concorde with ID 48EC2A74.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; cmxa:01 cmxa:01 frisch:01 ocaml:01 runtime:01 bytecode:01 dynlink:01 beginner's:01 ocaml:01 bug:01 beginner's:01 bug:01 beginners:01 beginners:01 wrote:01 Sorry, I just noticed Richard already answered my question in previous email. So Please ignore my previous email. Thanks. bill yan 已写入: > Thanks for the help. Another question, It seems *.cma *.cmxa *.a are > all native code libraries, why are there so many suffix? Is there any > difference between cma, cmxa and a? > > Alain Frisch 已写入: > >> 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 >> >> _______________________________________________ >> Caml-list mailing list. Subscription management: >> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list >> Archives: http://caml.inria.fr >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs > > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs