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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 7E2E07FE36 for ; Mon, 11 Jul 2016 10:00:23 +0200 (CEST) IronPort-PHdr: 9a23:4YR5sBR5uBEVnfO+y9uUb6xSXNpsv+yvbD5Q0YIujvd0So/mwa65YBaN2/xhgRfzUJnB7Loc0qyN4vimAjBLu8ba+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLshrj0oMGYOVUTzBOGIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46Fp34d6XK77Z6U1S6BDRHRjajhtpZ6jiR6WbwyJ72ccW2NeqgBPHxrI6hL9FsPztS3zqup03m+CJ8rqX70yWjOK4KJiSRuugyACYXpxulnaltB9lupy5lqcvR9yz4fQKsnBLPNjZKDQcdoebWVEV8dVESdGB9XvQZEICr9LBuFVoJXnoENK5T6/DgmlCeelgmtNh3T21KA+lf8mHA7axgs4N9MIrHnQ6t7yMfFBAqiO0KDUwGCbPLtt0jDn5d2NK0h5rA== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.soegtrop@intel.com; spf=Pass smtp.mailfrom=michael.soegtrop@intel.com; spf=None smtp.helo=postmaster@mga03.intel.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of michael.soegtrop@intel.com) identity=pra; client-ip=134.134.136.65; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of michael.soegtrop@intel.com designates 134.134.136.65 as permitted sender) identity=mailfrom; client-ip=134.134.136.65; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mga03.intel.com) identity=helo; client-ip=134.134.136.65; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga03.intel.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BwAAA8UYNXh0GIhoZchBR8Bqx7jBaBeiKCP4M3AhyBCTgUAQEBAQEBAQERAQEBCgsJCSEvgjIEARIBghIBAQUjBA0VMAwEAgEIEQQBAQECAgYdAwICAh8RFAEICAEBBAENBQiIDgMWAQ6wE4ouDYQUAQEBAQEBAQEBAQEBAQEBAQEBAQEBHIEBhSeETIJDgU8xFYJqK4IvBZhkLgYBhgyGL4ROjHSIG4d0HoJQgVduiEABfgEBAQ X-IPAS-Result: A0BwAAA8UYNXh0GIhoZchBR8Bqx7jBaBeiKCP4M3AhyBCTgUAQEBAQEBAQERAQEBCgsJCSEvgjIEARIBghIBAQUjBA0VMAwEAgEIEQQBAQECAgYdAwICAh8RFAEICAEBBAENBQiIDgMWAQ6wE4ouDYQUAQEBAQEBAQEBAQEBAQEBAQEBAQEBHIEBhSeETIJDgU8xFYJqK4IvBZhkLgYBhgyGL4ROjHSIG4d0HoJQgVduiEABfgEBAQ X-IronPort-AV: E=Sophos;i="5.28,345,1464645600"; d="scan'208";a="184467951" Received: from mga03.intel.com ([134.134.136.65]) by mail3-smtp-sop.national.inria.fr with ESMTP; 11 Jul 2016 10:00:21 +0200 Received: from fmsmga002.fm.intel.com ([10.253.24.26]) by orsmga103.jf.intel.com with ESMTP; 11 Jul 2016 01:00:19 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.28,345,1464678000"; d="scan'208";a="1019300991" Received: from irsmsx103.ger.corp.intel.com ([163.33.3.157]) by fmsmga002.fm.intel.com with ESMTP; 11 Jul 2016 01:00:18 -0700 Received: from irsmsx112.ger.corp.intel.com (10.108.20.5) by IRSMSX103.ger.corp.intel.com (163.33.3.157) with Microsoft SMTP Server (TLS) id 14.3.248.2; Mon, 11 Jul 2016 08:59:32 +0100 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.10]) by irsmsx112.ger.corp.intel.com ([169.254.1.18]) with mapi id 14.03.0248.002; Mon, 11 Jul 2016 08:59:32 +0100 From: "Soegtrop, Michael" To: Jonathan Protzenko , "Petter A. Urkedal" CC: Gabriel Scherer , "caml-list@inria.fr" Thread-Topic: [Caml-list] ocambuild vs ocamldep circular dependencies Thread-Index: AdHZ3csMeHcHq0OFS7KZHyoJQn12uAAAgTgAAAQlvjAAARnmgAAIKqKAAEyhL4A= Date: Mon, 11 Jul 2016 07:59:31 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CF2089A@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> In-Reply-To: <2782bd72-cd55-d2af-37d9-2d097bdeef2b@gmail.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 RGVhciBQZXR0ZXIsIEpvbmF0aGFuLA0KDQp0aGFua3MgZm9yIHRoZSBoaW50 cyEgSSB0aGluayB0aGUgZnVuY3Rpb24gcmVmZXJlbmNlIG1ldGhvZCBpcyBp bmRlZWQgYSBoYWNrIChpdCBpcyBhbHNvIG1lbnRpb25lZCBvbiBodHRwOi8v d2lraS54ZW5wcm9qZWN0Lm9yZy93aWtpL09DYW1sX0N5Y2xpY2FsX0J1aWxk X0RlcGVuZGVuY2llcyApLiBUaGUgcmVjIG1vZHVsZSBhcHByb2FjaCBpcyBj bGVhbmVyLCBidXQgdXN1YWxseSBxdWl0ZSBhIGJpdCBvZiB3b3JrLiBJbiB0 aGUgZW5kIEkgZGVjaWRlZCB0byByZWFycmFuZ2UgbXkgY29kZSBzbyB0aGF0 IHRoZSBmdW5jdGlvbnMgaW4gcXVlc3Rpb24gZW5kIHVwIGluIG9uZSBtb2R1 bGUuIFRoZSBlZmZvcnQgaXMgc2ltaWxhciB0byB0aGUgZWZmb3J0IG9mIGlt cGxlbWVudGluZyB0aGUgbW9kdWxlIHJlYyBhcHByb2FjaC4NCg0KSSBzdGls bCB0aGluayB0aGF0IHRoaXMgaXMgYSBzdWJzdGFudGlhbCBkcmF3YmFjayBv ZiBPQ2FtbC4gSXQgY2FuIGJlIGhhcmQgdG8gZm9yZXNlZSBpZiBvbmUgd2ls bCBzdHVtYmxlIGFjcm9zcyB0aGlzIGluIGxhcmdlciBwcm9qZWN0cywgYW5k IGl0IGlzIG5vdCBzbyBuaWNlIHRoYXQgZGVzaWduIGRlY2lzaW9ucyBvbiB0 aGUgc3RydWN0dXJlIG9mIG1vZHVsZXMgYXJlIGZvcmNlZCBieSB0aGlzLg0K DQpDb3VsZG4ndCBvbmUgdGhpbmsgb2YgYSB3YXkgb2YgZGVjbGFyaW5nIHRo ZSBleGlzdGVuY2Ugb2YgYSBtb2R1bGUsIHdpdGgganVzdCBpdHMgc2lnbmF0 dXJlIGdpdmVuPyBXaXRoIHN1Y2ggYSBtZWNoYW5pc20sIG9uZSBjb3VsZCB0 cmVhdCBhIHJlZmVyZW5jZSB0byBhIG1vZHVsZSBhcyBhIHJlZmVyZW5jZSB0 byB0aGUgc2lnbmF0dXJlIGluIHRoZSAubWxpIGZpbGUgcmF0aGVyIHRoYW4g dG8gaXRzIGltcGxlbWVudGF0aW9uLg0KDQpCZXN0IHJlZ2FyZHMsDQoNCk1p Y2hhZWwNCg0KPiAtLS0tLU9yaWdpbmFsIE1lc3NhZ2UtLS0tLQ0KPiBGcm9t OiBKb25hdGhhbiBQcm90emVua28gW21haWx0bzpqb25hdGhhbi5wcm90emVu a29AZ21haWwuY29tXQ0KPiBTZW50OiBTYXR1cmRheSwgSnVseSAwOSwgMjAx NiAxMDoxMCBQTQ0KPiBUbzogUGV0dGVyIEEuIFVya2VkYWwNCj4gQ2M6IEdh YnJpZWwgU2NoZXJlcjsgY2FtbC1saXN0QGlucmlhLmZyOyBTb2VndHJvcCwg TWljaGFlbA0KPiBTdWJqZWN0OiBSZTogW0NhbWwtbGlzdF0gb2NhbWJ1aWxk IHZzIG9jYW1sZGVwIGNpcmN1bGFyIGRlcGVuZGVuY2llcw0KPiANCj4gRllJ LCBoZXJlJ3MgaG93IHRoZSBzb3VyY2UgY29kZSBvZiBPQ2FtbCBkZWFscyB3 aXRoIHRoaXMgdmVyeSBwcm9ibGVtLg0KPiANCj4gaHR0cHM6Ly9naXRodWIu Y29tL29jYW1sL29jYW1sL2Jsb2IvdHJ1bmsvdHlwaW5nL3R5cGVjb3JlLm1s I0w4NA0KPiAoZm9yd2FyZCByZWZlcmVuY2UuLi4pDQo+IA0KPiBodHRwczov L2dpdGh1Yi5jb20vb2NhbWwvb2NhbWwvYmxvYi90cnVuay90eXBpbmcvdHlw ZW1vZC5tbCNMMTU2NA0KPiAoZmlsbGVkIGxhdGVyIG9uKS4NCj4gDQo+IEFy Z3VhYmx5IGEgZGlydHkgaGFjaywgYnV0IHdvcmtzIHJlYWxseSBuaWNlbHkg aW4gcHJhY3RpY2UgaW1oby4gV29ya3Mgd2l0aA0KPiBPQ2FtbGJ1aWxkIHRv by4NCj4gDQo+IH4gam9uYXRoYW4NCj4gDQo+IE9uIDcvOS8xNiA5OjE2IEFN LCBQZXR0ZXIgQS4gVXJrZWRhbCB3cm90ZToNCj4gPiBUaGVyZSBpcyBhIHdh eSB0byBkbyBpdCBpZiBJIHVuZGVyc3Rvb2QgdGhlIHByb2JsZW0gcmlnaHQg YnkNCj4gPiBmdW5jdG9yaXppbmcgYW5kIGxpbmtpbmcgZXhwbGljaXRseSB3 aXRoIHRoZSBgbW9kdWxlIHJlY2AgY29uc3RydWN0Og0KPiA+DQo+ID4gJCBj YXQgZmlyc3Rfc2lnLm1saQ0KPiA+IG1vZHVsZSB0eXBlIFMgPSBzaWcNCj4g PiAgICB0eXBlIGENCj4gPiAgICB0eXBlIGINCj4gPiAgICB2YWwgbnVsbCA6 IHVuaXQgLT4gYQ0KPiA+ICAgIHZhbCBzdWNjIDogYiAtPiBhDQo+ID4gZW5k DQo+ID4NCj4gPiAkIGNhdCBzZWNvbmRfc2lnLm1saQ0KPiA+IG1vZHVsZSB0 eXBlIFMgPSBzaWcNCj4gPiAgICB0eXBlIGENCj4gPiAgICB0eXBlIGINCj4g PiAgICB2YWwgbnVsbCA6IGINCj4gPiAgICB2YWwgc3VjYyA6IGEgLT4gYg0K PiA+IGVuZA0KPiA+DQo+ID4gJCBjYXQgZmlyc3QubWwNCj4gPiBtb2R1bGUg TWFrZSAoWCA6IFNlY29uZF9zaWcuUykgPSBzdHJ1Y3QNCj4gPiAgICB0eXBl IGIgPSBYLmINCj4gPiAgICB0eXBlIGEgPSBOIHwgQiBvZiBiDQo+ID4gICAg bGV0IG51bGwgKCkgPSBODQo+ID4gICAgbGV0IHN1Y2MgeCA9IEIgeA0KPiA+ IGVuZA0KPiA+DQo+ID4gJCBjYXQgc2Vjb25kLm1sDQo+ID4gbW9kdWxlIE1h a2UgKFggOiBGaXJzdF9zaWcuUykgPSBzdHJ1Y3QNCj4gPiAgICB0eXBlIGEg PSBYLmENCj4gPiAgICB0eXBlIGIgPSBOIHwgQSBvZiBhDQo+ID4gICAgbGV0 IG51bGwgPSBODQo+ID4gICAgbGV0IHN1Y2MgeCA9IEEgeA0KPiA+IGVuZA0K PiA+DQo+ID4gJCBjYXQgYm90aC5tbA0KPiA+IG1vZHVsZSByZWMgQSA6IEZp cnN0X3NpZy5TIHdpdGggdHlwZSBiID0gQi5iID0gRmlyc3QuTWFrZSAoQikN Cj4gPiAgICAgICAgIGFuZCBCIDogU2Vjb25kX3NpZy5TIHdpdGggdHlwZSBh ID0gQS5hID0gU2Vjb25kLk1ha2UgKEEpDQo+ID4NCj4gPiBUaGVyZSBhcmUg dHlwaWNhbGx5IHNvbWUgc2hhcmVkIHR5cGVzIGF0IHRoZSB0b3Agb2YgdGhl IHNpZ25hdHVyZXMsDQo+ID4gd2hpY2ggY291bGQgYmUgcHV0IGludG8gYSBz ZXBhcmF0ZSBmaWxlIGFuZCBpbmNsdWRlZC4NCj4gPg0KPiA+DQo+ID4gT24g OSBKdWx5IDIwMTYgYXQgMTc6MTYsIFNvZWd0cm9wLCBNaWNoYWVsIDxtaWNo YWVsLnNvZWd0cm9wQGludGVsLmNvbT4NCj4gd3JvdGU6DQo+ID4+IERlYXIg R2FicmllbCwNCj4gPj4NCj4gPj4NCj4gPj4NCj4gPj4gVGhlIGN1cnJlbnQg aW1wbGVtZW50YXRpb24gaGFwcGVucyB0byBhbGxvdyB0aGVtLCBidXQgdGhp cyBkb2VzIG5vdA0KPiA+PiBtZWFuIHRoYXQgdGhleSBhcmUgInZhbGlkIHBy b2dyYW1zIi4NCj4gPj4NCj4gPj4gSSBzZWUgd2hhdCB5b3UgbWVhbjogc2lu Y2UgSSBjYW7igJl0IHB1dCBib3RoIG1vZHVsZXMgaW50byBhIHNpbmdsZQ0K PiA+PiBmaWxlIHdpdGhvdXQgY2hhbmdpbmcgdGhlIHR3byBsZXQgaW50byBs ZXQgcmVjIC8gYW5kIG9yIHVzaW5nDQo+ID4+IHJlY3Vyc2l2ZSBtb2R1bGVz LCBpdCBpcyBub3QgdmFsaWQgT0NhbWwsIGFsdGhvdWdoIHRoZSBjb21waWxl cg0KPiA+PiBhY2NlcHRzIGl0IGlmIHByZXNlbnRlZCBzZXBhcmF0ZWx5Lg0K PiA+Pg0KPiA+Pg0KPiA+Pg0KPiA+PiBMZXQgbWUgc2VlIHdoYXQgSSBjYW4g ZG8gaGVyZS4gVGhlIG11dHVhbCBkZXBlbmRlbnQgcGFydCBpcyBhIGxhcmdl DQo+ID4+IHBhcnQgb2YgYm90aCBtb2R1bGVzIHNvIGl0IHdvdWxkbuKAmXQg YmUgdmVyeSBuaWNlIHRvIHB1dCB0aGVtIGludG8gb25lDQo+ID4+IGZpbGUu IEJ1dCBpZiBpdCBpcyB0aGUgb25seSBvcHRpb24gdG8gZ2V0IGEgdmFsaWQg T0NhbWwgcHJvZ3JhbSwgSSB3aWxsIGxvb2sgaW50bw0KPiBpdC4NCj4gPj4N Cj4gPj4NCj4gPj4NCj4gPj4gU3RpbGwgSSB0aGluayBpdCBpcyB1bmZvcnR1 bmF0ZSB0aGF0IE9DYW1sIGRvZXNu4oCZdCBzdXBwb3J0IHRoaXMuIEl0DQo+ ID4+IG1ha2VzIGl0IGhhcmRlciB0byBzdHJ1Y3R1cmUgc29mdHdhcmUgaW4g YW4gYXNwZWN0IG9yaWVudGVkIHdheS4gRm9yDQo+ID4+IHNpbXBsZSBkYXRh IHN0cnVjdHVyZXMgaXQgaXMgZmluZSB0byBidW5kbGUgYWxsIGFzcGVjdHMg aW50byBhIHNpbmdsZSBtb2R1bGUNCj4gb3IgZmlsZS4NCj4gPj4gRm9yIGEg ZGF0YSBzdHJ1Y3R1cmUgbGlrZSBhIEMgQVNULCB0aGUgbW9kdWxlIC8gZmls ZSB3aWxsIGdldCBxdWl0ZQ0KPiA+PiBsYXJnZS4gSSBjYW4gc2VwYXJhdGUg b2ZmIHRoZSBzdGF0ZW1lbnRzIGVhc2lseSwgYnV0IHRoaXMgaXMgb25seSBh DQo+ID4+IHNtYWxsIHBhcnQgb2YgdGhlIEFTVC4gVGhlIGxhcmdlc3QgcGFy dCBhcmUgZXhwcmVzc2lvbnMgYW5kIHR5cGVzLA0KPiA+PiBhbmQgdGhlc2Ug YXJlIHJlY3Vyc2l2ZWx5IGRlcGVuZGVudCBvbiBlYWNoIG90aGVyLg0KPiA+ Pg0KPiA+Pg0KPiA+Pg0KPiA+PiBCZXN0IHJlZ2FyZHMsDQo+ID4+DQo+ID4+ DQo+ID4+DQo+ID4+IE1pY2hhZWwNCj4gPj4NCj4gPj4gSW50ZWwgRGV1dHNj aGxhbmQgR21iSA0KPiA+PiBSZWdpc3RlcmVkIEFkZHJlc3M6IEFtIENhbXBl b24gMTAtMTIsIDg1NTc5IE5ldWJpYmVyZywgR2VybWFueQ0KPiA+PiBUZWw6 ICs0OSA4OSA5OSA4ODUzLTAsIHd3dy5pbnRlbC5kZQ0KPiA+PiBNYW5hZ2lu ZyBEaXJlY3RvcnM6IENocmlzdGluIEVpc2Vuc2NobWlkLCBDaHJpc3RpYW4g TGFtcHJlY2h0ZXINCj4gPj4gQ2hhaXJwZXJzb24gb2YgdGhlIFN1cGVydmlz b3J5IEJvYXJkOiBOaWNvbGUgTGF1IFJlZ2lzdGVyZWQgT2ZmaWNlOg0KPiA+ PiBNdW5pY2ggQ29tbWVyY2lhbCBSZWdpc3RlcjogQW10c2dlcmljaHQgTXVl bmNoZW4gSFJCIDE4NjkyOA0KDQpJbnRlbCBEZXV0c2NobGFuZCBHbWJIClJl Z2lzdGVyZWQgQWRkcmVzczogQW0gQ2FtcGVvbiAxMC0xMiwgODU1NzkgTmV1 YmliZXJnLCBHZXJtYW55ClRlbDogKzQ5IDg5IDk5IDg4NTMtMCwgd3d3Lmlu dGVsLmRlCk1hbmFnaW5nIERpcmVjdG9yczogQ2hyaXN0aW4gRWlzZW5zY2ht aWQsIENocmlzdGlhbiBMYW1wcmVjaHRlcgpDaGFpcnBlcnNvbiBvZiB0aGUg U3VwZXJ2aXNvcnkgQm9hcmQ6IE5pY29sZSBMYXUKUmVnaXN0ZXJlZCBPZmZp Y2U6IE11bmljaApDb21tZXJjaWFsIFJlZ2lzdGVyOiBBbXRzZ2VyaWNodCBN dWVuY2hlbiBIUkIgMTg2OTI4Cg==