From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 1EEC87FE36 for ; Mon, 11 Jul 2016 17:32:38 +0200 (CEST) IronPort-PHdr: 9a23:VdmfhhzDSIQJWD7XCy+O+j09IxM/srCxBDY+r6Qd0OITIJqq85mqBkHD//Il1AaPBtSDrakZwLSP+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwud7yzQdOZ0Z3//tvx0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe1XwWR1OQDbxE6ktY+YtaRu+CVIuv8n69UIEeCjJ/x5HvRkC2EENGY8+M3is1H7VwyT9HYaUWJexhhPBQHZ7Bj8GI/rtTfou+x+3wGVOMT3SfY/XjH0q+8hcBL0lCodfxd/uFzNicF8haYR6Ea5rgFlwIPYaYW9O/93f6ebdtQfEy4Jcc9bTS1MBsuHZIsCFecbdbJXpoPnplYK6wC1BQS2CfnHxTpBh3uw1qo/hbcPCwbDiUYbGN8BrG7TtJG9EaYZUem4yOOAmTDCZPNf1DO784/FfQw7pumkXLRsfM6Xwk4qQVCWxm6MoJDoamvGnt8GtHKWuq85Dbqi Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop@intel.com; spf=Pass smtp.mailfrom=michael.soegtrop@intel.com; spf=None smtp.helo=postmaster@mga01.intel.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of michael.soegtrop@intel.com) identity=pra; client-ip=192.55.52.88; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of michael.soegtrop@intel.com designates 192.55.52.88 as permitted sender) identity=mailfrom; client-ip=192.55.52.88; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mga01.intel.com) identity=helo; client-ip=192.55.52.88; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga01.intel.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B5AACPu4NXh1g0N8BchBR8Brh3gXoahX4CHIEOOBQBAQEBAQEBAREBAQEKCwkJIS+CMgQBEgGCEwEFIxEVMBACAQgaAgYgAgICMBUQAgQBDQ2IJwGwUI5RAQEBAQEBAQECAQEBAQEBAQEBAQEcgQGFJ4RMhEMVgmorgi8FmRIGAZ19kA8egj8RC4FMbohAAX4BAQE X-IPAS-Result: A0B5AACPu4NXh1g0N8BchBR8Brh3gXoahX4CHIEOOBQBAQEBAQEBAREBAQEKCwkJIS+CMgQBEgGCEwEFIxEVMBACAQgaAgYgAgICMBUQAgQBDQ2IJwGwUI5RAQEBAQEBAQECAQEBAQEBAQEBAQEcgQGFJ4RMhEMVgmorgi8FmRIGAZ19kA8egj8RC4FMbohAAX4BAQE X-IronPort-AV: E=Sophos;i="5.28,347,1464645600"; d="scan'208";a="226351945" Received: from mga01.intel.com ([192.55.52.88]) by mail2-smtp-roc.national.inria.fr with ESMTP; 11 Jul 2016 17:32:36 +0200 Received: from fmsmga002.fm.intel.com ([10.253.24.26]) by fmsmga101.fm.intel.com with ESMTP; 11 Jul 2016 08:32:35 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.28,347,1464678000"; d="scan'208";a="1019527732" Received: from irsmsx101.ger.corp.intel.com ([163.33.3.153]) by fmsmga002.fm.intel.com with ESMTP; 11 Jul 2016 08:32:35 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.10]) by IRSMSX101.ger.corp.intel.com ([169.254.1.155]) with mapi id 14.03.0248.002; Mon, 11 Jul 2016 16:32:33 +0100 From: "Soegtrop, Michael" To: Jonathan Protzenko , "Petter A. Urkedal" , Gabriel Scherer CC: "caml-list@inria.fr" Thread-Topic: [Caml-list] ocambuild vs ocamldep circular dependencies Thread-Index: AdHZ3csMeHcHq0OFS7KZHyoJQn12uAAAgTgAAAQlvjAAARnmgAAIKqKAAEyhL4AAD7IwoA== Date: Mon, 11 Jul 2016 15:32:33 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CF20C2B@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CF204AF@IRSMSX102.ger.corp.intel.com> <0F7D3B1B3C4B894D824F5B822E3E5A172CF20547@IRSMSX102.ger.corp.intel.com> <2782bd72-cd55-d2af-37d9-2d097bdeef2b@gmail.com> <0F7D3B1B3C4B894D824F5B822E3E5A172CF2089A@IRSMSX102.ger.corp.intel.com> In-Reply-To: <0F7D3B1B3C4B894D824F5B822E3E5A172CF2089A@IRSMSX102.ger.corp.intel.com> Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [163.33.239.180] Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Subject: RE: [Caml-list] ocambuild vs ocamldep circular dependencies RGVhciBPQ2FtbCBVc2VycywNCg0KYSBub3RlIGZvciB0aG9zZSByZWFkaW5n IHRoaXMgdGhyZWFkIGxhdGVyOg0KDQpJIGZpbmFsbHkgdXNlZCB0aGUgbW9k dWxlIHJlYyBhcHByb2FjaCBhcyBvdXRsaW5lZCBieSBQZXR0ZXIgQS4gVXJr ZWRhbCBpbiBoaXMgcHJldmlvdXMgcG9zdCwgYWx0aG91Z2ggc29tZSBwZW9w bGUgc2FpZCBpbiB2YXJpb3VzIHBsYWNlcyB0aGF0IHRoaXMgaXMgb3Zlcmtp bGwgaWYgeW91IGhhdmUgaXNzdWVzIHdpdGgganVzdCBhIGZldyBmdW5jdGlv bnMuIFRoZSBtb2R1bGUgc3RydWN0dXJlIGltcGxpZWQgYnkgdGhlIG1vZHVs ZSByZWMgYXBwcm9hY2ggd2FzIGluIHRoZSBlbmQgbmljZXIgdGhhbiBteSBv cmlnaW5hbCBtb2R1bGUgc3RydWN0dXJlICh3aGljaCBkaWRuJ3Qgd29yayBj YXVzZSBvZiB0aGUgY2lyY3VsYXIgZGVwZW5kZW5jeSkuIEl0IHdhcyBhbHNv IG11Y2ggbGVzcyB3b3JrIHRvIHJlc3RydWN0dXJlIHRoZSBtb2R1bGVzIHRo YW4gSSB0aG91Z2h0LiBJIHRyaWVkIHNldmVyYWwgb3RoZXIgYXBwcm9hY2hl cyAoZnVuY3Rpb24gcmVmZXJlbmNlcywgcHV0dGluZyBhbGwgZnVuY3Rpb25z IGNhbGxpbmcgZWFjaCBvdGhlciBpbnRvIG9uZSBmaWxlLCB0cmVhdCBtbGkg YW5kIG1sIGZpbGVzIHNlcGFyYXRlbHkgaW4gdGhlIGJ1aWxkIHN5c3RlbSks IGJ1dCB0aGV5IGFsbCBhcHBlYXJlZCB0byBiZSBpbmZlcmlvciwgZWl0aGVy IGluIHRlcm1zIG9mIGVmZm9ydCBvciBpbiB0ZXJtcyBvZiBjbGFyaXR5LCB1 c3VhbGx5IGJvdGguDQoNClNvIEkgY2FtZSB0byB0aGUgY29uY2x1c2lvbiB0 aGF0IGxvbmcgdGVybSB0aGVyZSBpcyBubyBpc3N1ZSB3aXRoIHByb3Blcmx5 IGRlY2xhcmluZyByZWN1cnNpdmUgbW9kdWxlIHN0cnVjdHVyZXMgdXNpbmcg Im1vZHVsZSByZWMiLCBhbHRob3VnaCBpdCBjYW4gYmUgcXVpdGUgYSBwYWlu IHNob3J0IHRlcm0uIEZvciByZXNvbHZpbmcgc29tZSBzaG9ydCB0ZXJtIGhh Y2tzIChlLmcuIGZvciBleHBlcmltZW50cyksIG9uZSBjYW4gc3RpbGwgdXNl IHRoZSBmdW5jdGlvbiByZWZlcmVuY2UgYXBwcm9hY2guDQoNCkJlc3QgcmVn YXJkcywNCg0KTWljaGFlbA0KDQpJbnRlbCBEZXV0c2NobGFuZCBHbWJIClJl Z2lzdGVyZWQgQWRkcmVzczogQW0gQ2FtcGVvbiAxMC0xMiwgODU1NzkgTmV1 YmliZXJnLCBHZXJtYW55ClRlbDogKzQ5IDg5IDk5IDg4NTMtMCwgd3d3Lmlu dGVsLmRlCk1hbmFnaW5nIERpcmVjdG9yczogQ2hyaXN0aW4gRWlzZW5zY2ht aWQsIENocmlzdGlhbiBMYW1wcmVjaHRlcgpDaGFpcnBlcnNvbiBvZiB0aGUg U3VwZXJ2aXNvcnkgQm9hcmQ6IE5pY29sZSBMYXUKUmVnaXN0ZXJlZCBPZmZp Y2U6IE11bmljaApDb21tZXJjaWFsIFJlZ2lzdGVyOiBBbXRzZ2VyaWNodCBN dWVuY2hlbiBIUkIgMTg2OTI4Cg==