From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id DC7BBBCAB for ; Wed, 18 May 2005 10:03:09 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j4I839qe006553 for ; Wed, 18 May 2005 10:03:09 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA03574 for ; Wed, 18 May 2005 10:03:07 +0200 (MET DST) Received: from qrnik.knm.org.pl (paf87.warszawa.sdi.tpnet.pl [217.96.225.87]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j4I833oL006541 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Wed, 18 May 2005 10:03:06 +0200 Received: from qrczak by qrnik.knm.org.pl with local (Exim 3.36 #1) id 1DYJVe-00054N-00 for caml-list@inria.fr; Wed, 18 May 2005 10:02:30 +0200 To: caml-list@inria.fr Subject: Re: [Caml-list] Re: Problems linking in an object file produced with "ocamlopt -c -output-obj" X-Face: .B/ouEO}=VFkSJWE}s0@!:diHI.Z,`m}AqK#Vjuscq(Vf1B}H[)v\9tBN}>AdP,QSRbhO]=v 3?;I+cN/Z0HKPm_Eg99/pFrU!WfpjgQ!z":>A~qt0^4):0-UuPB(6^>j!mN$)RIb)rRhXeK:+MLPW[ RVb7Kepvby-ww6_zci7Yy_@IrWW References: <1116312743.32536.286.camel@pelican.wigram> From: "Marcin 'Qrczak' Kowalczyk" Mail-Followup-To: caml-list@inria.fr Date: Wed, 18 May 2005 10:02:30 +0200 In-Reply-To: <1116312743.32536.286.camel@pelican.wigram> (skaller@users.sourceforge.net's message of "17 May 2005 16:52:24 +1000") Message-ID: <871x85m06h.fsf@qrnik.zagroda> User-Agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: "Marcin 'Qrczak' Kowalczyk" X-Miltered: at nez-perce with ID 428AF6BD.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 428AF6B7.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocamlopt:01 -output-obj:01 sourceforge:01 writes:01 fragments:01 defined:02 variables:02 external:02 external:02 linking:03 definition:07 file:08 object:09 problems:13 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.2 X-Spam-Level: skaller writes: > See ISO C99, 6.9.2./1 > > Variables with external linkage must be defined exactly > once (if they're used) or at most once (if they're not). > > The above fragments do not constitute an external definition, They do. See 6.9.2/2. -- __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/