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=2.3 required=5.0 tests=AWL,DNS_FROM_SECURITYSAGE, MSGID_FROM_MTA_HEADER,SPF_FAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 28C6ABBAF for ; Tue, 21 Oct 2008 06:55:42 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApEBAEf9/EjOvBkPmWdsb2JhbACSU4EcAQEBAQEICwoHEa9DBQ X-IronPort-AV: E=Sophos;i="4.33,455,1220220000"; d="scan'208";a="18320370" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 21 Oct 2008 06:55:41 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9L4tfBZ025241 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 21 Oct 2008 06:55:41 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApEBAEf9/EjOvBkPmWdsb2JhbACSU4EcAQEBAQEICwoHEa9DBQ X-IronPort-AV: E=Sophos;i="4.33,455,1220220000"; d="scan'208";a="18320369" Received: from mi0.bluebottle.com ([206.188.25.15]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 21 Oct 2008 06:55:40 +0200 Received: from localhost.localdomain (localhost.localdomain [127.0.0.1]) by mi0.bluebottle.com (8.13.1/8.13.1) with ESMTP id m9L4tbf5019872 for ; Tue, 21 Oct 2008 04:55:37 GMT DomainKey-Signature: a=rsa-sha1; s=mail; d=bluebottle.com; c=nofws; q=dns; h=received:date:from:reply-to:user-agent:mime-version:to:cc: subject:references:in-reply-to:content-type: content-transfer-encoding:x-trusted-delivery; b=i/SPgfwcBnXViK9OeyzLI7rdz9S0Wq4YOiL/XrNoqU53oqltw8gZ8CtR69kt3thM8 VEPof4TC7/Wz3SHpDtLXZNjUs8B1jFI9kd7dzwgnrxKy7+AKAcrl5GEH4EFoM4o Message-Id: <200810210455.m9L4tbf5019872@mi0.bluebottle.com> Received: from [192.168.0.11] (85-218-27-95.dclient.lsne.ch [85.218.27.95]) (authenticated bits=0) by fe2.bluebottle.com (8.13.1/8.13.1) with ESMTP id m9L4tDT8025100 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Tue, 21 Oct 2008 04:55:35 GMT Date: Tue, 21 Oct 2008 06:54:21 +0200 From: Guillaume Yziquel Reply-To: guillaume.yziquel@bluebottle.com User-Agent: IceDove 1.5.0.14eol (X11/20080724) MIME-Version: 1.0 To: =?UTF-8?B?U3TDqXBoYW5lIEdsb25kdQ==?= Cc: caml-list@inria.fr Subject: Re: [Caml-list] Compiling recursive modules into a .cma. References: <200810181507.m9IF7jLI025373@mi1.bluebottle.com> <48FC8CE1.6020401@glondu.net> In-Reply-To: <48FC8CE1.6020401@glondu.net> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Trusted-Delivery: <5d30c47a8d794e66483c99683d690625> X-Miltered: at concorde with ID 48FD60CD.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; guillaume:01 guillaume:01 recursive:01 cmo:01 cmo:01 toplevel:01 phane:98 caml-list:01 cma:01 cma:01 behaviour:01 explicitly:02 modules:02 modules:02 compiling:02 Stéphane Glondu a écrit : > > It seems that chain.cmo is linked before protection.cmo inside the .cma. > The order of modules inside of a .cma file is important. The behaviour > is the same as if they were #loaded in the same order in a toplevel. Try > writing explicitly all .ml files of $(SOURCE) in topological order. Yes. Indeed. This is the problem. I was misled by the fact that compiling things manually and in order didn't work at first, and I believed something else was wrong, but I was mistaken. It now works. Thanks. Guillaume.