From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 3C92D5D4 for ; Sun, 30 Jun 2019 18:23:28 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,436,1557180000"; d="scan'208";a="389768862" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 Jun 2019 20:22:56 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 60833826E4; Sun, 30 Jun 2019 20:22:56 +0200 (CEST) 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 D8A0B8247D for ; Sun, 30 Jun 2019 20:22:51 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=nicolas.ojeda.bar@lexifi.com; spf=Pass smtp.mailfrom=nicolas.ojeda.bar@lexifi.com; spf=Pass smtp.helo=postmaster@FRA01-MR2-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3ACynjVBO8l6//XIsejEUl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I/T7rarrMEGX3/hxlliBBdydt6sezbCK+Pm6AyRAuc/H7ClbNsQUFlcsso?= =?us-ascii?q?Y/p0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVIm?= =?us-ascii?q?buv6FZTPgMupyuu854PcYxlShDq6fLh+MAi6oR/eu8ULn4duMLg9xxTGrndVZe?= =?us-ascii?q?ha235jKVaPkxrh/Mu984Nv/zlKt/4968JMVLjxcrglQ7BfEDkoKX0+6tfxtRnE?= =?us-ascii?q?QwuP538cXXsTnxFVHQXL7wz0U4novCfiueVzxCeVPcvtTbApQjui9LtkSAXpiC?= =?us-ascii?q?gcKTE09nzch9Fqg6JapBKhoAF/w5LRbYqIOvdyYr/RcNUHTmdaQM1fSzJODZ+9?= =?us-ascii?q?b4sXDuoOI+BYr5Xmp1ATqReyHBSgCP/zxjNNgHL9wK803Pk7EQze3AIuAc8AsG?= =?us-ascii?q?jaotv2OqcdU+G1w7XHwzrMdP5WxSzy5ZLUfhw9vf2BX7R9etfRx0k1EAPFi02d?= =?us-ascii?q?p5TkPzyJ0eQNt2qc7/F9Xuy2iW4otRx+rSKyzcoxj47JnJ8ex1fC9SV43Ik1It?= =?us-ascii?q?m4R1RgYdK+F5tQtT+VOJZsTc84WG5nojw6x6YCuZGlcykKyZonxx/FZ/ObdIiI?= =?us-ascii?q?5wvuWeCMKjl7nHJoYL2yiwqo/US91uHxVNO43VJQoidBj9XArm4B2wDX58SdSf?= =?us-ascii?q?Zw/l2t1SuO2g3R8O1JIV44mbLVK5E/wbM8ip8evEHeESL2m0j7j6qbeV4q+ue0?= =?us-ascii?q?9ejqZ67pqYKcOoBqjwzzMb4hl8+xDOk+LwMARXKU+f6m273m5UD5QKtFjvkxkq?= =?us-ascii?q?TBsJ7UOdgWqrKkDwNM1Ygt9wizAy6h0NsDg3YLNlVFeA+bj4fyPFHOPfb4Auql?= =?us-ascii?q?j1S0ijdrwOzGMaP9DZXRL3jDl7Hhcax6605B1Aozyddf55VXCr0bPP3zXUrxuM?= =?us-ascii?q?TZDh8/LQO03/7qBdph2o8ERG6DHq2UPLnWvFOS4u8jPvGAZIoPtzb8L/gl6eTu?= =?us-ascii?q?jXg8mVIFe6mp3IcYaHe8Hvt8OEWVe33sgtUfHmgXpAUyVvflh0eYUTNIY3a9Qa?= =?us-ascii?q?095jA1CIKnF4vMWoetgLmZ0CehApJWfnxGCkyLEXrwa4qLQfIMaCaLLs9lkzwE?= =?us-ascii?q?TqShRpQ61RCusQ/606BoIvDV+i0er5Lj1cJ66/fdlREopnRICJGl3nvFa2huhX?= =?us-ascii?q?gPQXdixK1l50h00EyY1q5Qm+ZfC9FJofhOV1FpG4TbyrlcCtv1XovaNvCLRVqv?= =?us-ascii?q?Cv8qG3llSNM6xNsHeAB6Gdiuh1bJ1jCCB7IFlrKKQpcz9/SPjDDKO89hxiOeh+?= =?us-ascii?q?EahF48T54KbDX+3/Mtx03oH4fM1n6hueOqeKAbgHGf2l2qlTPLmXsCFQl6XOPC?= =?us-ascii?q?QGwVYVbQoZLh/ETeQrSyCLMhdAxc1cqFLagMYdrs3wwfFaXTfe/Gamf0oF+eQB?= =?us-ascii?q?OBx7eCdo3vIj9P2CjNCUYF1QsU+CTfbFRsNmKau2vbSQdWOxf3eUq1q7t6pWO6?= =?us-ascii?q?QE5yxAaPPRVs?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AlBAAK/Rhdh1sJayhlg11QgWIECygKh?= =?us-ascii?q?BODRwOFMYksdoFDBR2KRmuNVYEQA1QJAQMBCwEtAgEBhEACF4MFBgEENBMBAwE?= =?us-ascii?q?BBAEBAgECAwETAQEBCgsJCCmKPgyCOikBgmcBAQQSEREMAQE3AQ8CAQgLDQICJ?= =?us-ascii?q?gICAiAQFRACBA4FCBqDAIFrAx0BApkDAoE4iF8BAXCBMoJ5AQEFhRIYgQqBBwm?= =?us-ascii?q?BDCiMWYEchCM+hAyDQoJYjACCYptRBwKCGIF6kgAbgiuVPo5glXMCBAIEBQIOA?= =?us-ascii?q?QEFgWeBeXBQMQaCNYJbg1eKU0ExgSmMVwGBIAEB?= X-IPAS-Result: =?us-ascii?q?A0AlBAAK/Rhdh1sJayhlg11QgWIECygKhBODRwOFMYksdoF?= =?us-ascii?q?DBR2KRmuNVYEQA1QJAQMBCwEtAgEBhEACF4MFBgEENBMBAwEBBAEBAgECAwETA?= =?us-ascii?q?QEBCgsJCCmKPgyCOikBgmcBAQQSEREMAQE3AQ8CAQgLDQICJgICAiAQFRACBA4?= =?us-ascii?q?FCBqDAIFrAx0BApkDAoE4iF8BAXCBMoJ5AQEFhRIYgQqBBwmBDCiMWYEchCM+h?= =?us-ascii?q?AyDQoJYjACCYptRBwKCGIF6kgAbgiuVPo5glXMCBAIEBQIOAQEFgWeBeXBQMQa?= =?us-ascii?q?CNYJbg1eKU0ExgSmMVwGBIAEB?= X-IronPort-AV: E=Sophos;i="5.63,436,1557180000"; d="scan'208";a="311936891" X-MGA-submission: =?us-ascii?q?MDEqSTVH6RfyRif6+CPuaz7ZH/jq3qTJXAHFA4?= =?us-ascii?q?AekqVEJHts5GDeZt3swfT1LMoGlgIzwW6WaWmjFDMIjYF+TW3mSpLSAw?= =?us-ascii?q?wdaojuUJmc+moOxX33fcKZ+4kfwpaHmGQ5OQh8idqeJ0lzmHVAVVzC4V?= =?us-ascii?q?Ou9J1ZutwPGY1PjQOpmoTrVQ=3D=3D?= Received: from mail-eopbgr90091.outbound.protection.outlook.com (HELO FRA01-MR2-obe.outbound.protection.outlook.com) ([40.107.9.91]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA256; 30 Jun 2019 20:22:51 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lexifi1.onmicrosoft.com; s=selector1-lexifi1-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=f4MfRlt21WORdU8E50FZUZAY/yYL2VOgpg0gtpHlxHw=; b=s8/pf+v9urHRM3PNB1Shu7n1XQYdzfFdzrNVGPIKL1rnyTATUlmof1rZkr45I6ogktF1nl6+hLTc1egwpBTYxCSvzBalI0pQGwJK+1Nsi9vPCTYG5V0ZsWoTaRxrck9rUCQJbikNVhHZrvPfKIT7SuwsRDUhDnbKWGVXJ7Mr5Tw= Received: from PR0P264MB0778.FRAP264.PROD.OUTLOOK.COM (52.133.68.14) by PR0P264MB0233.FRAP264.PROD.OUTLOOK.COM (52.133.67.11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2032.20; Sun, 30 Jun 2019 18:22:49 +0000 Received: from PR0P264MB0778.FRAP264.PROD.OUTLOOK.COM ([fe80::d588:bfc2:bd5e:8a83]) by PR0P264MB0778.FRAP264.PROD.OUTLOOK.COM ([fe80::d588:bfc2:bd5e:8a83%6]) with mapi id 15.20.2032.019; Sun, 30 Jun 2019 18:22:49 +0000 From: =?utf-8?B?Tmljb2zDoXMgT2plZGEgQsOkcg==?= To: Per Larsson CC: "caml-list@inria.fr" Thread-Topic: [Caml-list] ocaml on cygwin64 Thread-Index: AQHVLzoV3MPAK6u62EqrV7FXDP14+qa0gx4A Date: Sun, 30 Jun 2019 18:22:48 +0000 Message-ID: References: In-Reply-To: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-clientproxiedby: HE1PR0502CA0012.eurprd05.prod.outlook.com (2603:10a6:3:e3::22) To PR0P264MB0778.FRAP264.PROD.OUTLOOK.COM (2603:10a6:100:8::14) x-ms-exchange-messagesentrepresentingtype: 1 x-gm-message-state: APjAAAWmlEDjvwK9/GsltWXw2dETzD5rWa7NszRdGgWUOztUqR++EE4V TVx/WFD6ZSTdBLTeRVem54WDhL7HbilKaYlfZ2A= x-google-smtp-source: APXvYqyqcTyVwl4rv7RlnJVqkPNntqEQd17yNKSkyHQuK4ChVJTHltoQ5N9Q35II1x0idGWXpmwKCHse4rcpLBQ7PTc= x-received: by 2002:a19:f601:: with SMTP id x1mr9928713lfe.182.1561918964777; Sun, 30 Jun 2019 11:22:44 -0700 (PDT) x-gmail-original-message-id: x-originating-ip: [209.85.167.52] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 465e270a-3367-4342-b8cd-08d6fd87f422 x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(7021145)(8989299)(4534185)(7022145)(4603075)(4627221)(201702281549075)(8990200)(7048125)(7024125)(7027125)(7023125)(5600148)(711020)(4605104)(1401327)(2017052603328)(7193020);SRVR:PR0P264MB0233; x-ms-traffictypediagnostic: PR0P264MB0233: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:10000; x-forefront-prvs: 008421A8FF x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(366004)(136003)(396003)(39830400003)(376002)(346002)(199004)(189003)(53936002)(71190400001)(99286004)(6436002)(498394004)(52116002)(9686003)(6512007)(71200400001)(14454004)(6862004)(4326008)(25786009)(85182001)(11346002)(476003)(446003)(316002)(486006)(95326003)(6506007)(53546011)(186003)(76176011)(102836004)(86362001)(6486002)(386003)(6246003)(229853002)(3846002)(14444005)(61726006)(54206008)(26005)(6116002)(256004)(73956011)(85202003)(66446008)(64756008)(5660300002)(66556008)(413944005)(68736007)(66574012)(66476007)(66946007)(61266001)(2906002)(8676002)(66066001)(7736002)(8936002)(305945005)(81166006)(81156014)(508600001)(55446002);DIR:OUT;SFP:1102;SCL:1;SRVR:PR0P264MB0233;H:PR0P264MB0778.FRAP264.PROD.OUTLOOK.COM;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;A:1;MX:1; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: B82fCiknKgnubrmOZL6WHrvGK/+EOmLXAkgNvkWcXgYs+l4X48X2NssdDezKrBdLJbaWfnZgOHT3vo+9quMy+yNnfkP35+9E3mX6ry5xmKcGD1DmfkrPyBijK6KP+JKYF8drKzhFhxd+ET+v3KGaCBudrN77wV+hTErlo24GDYAJTAunH8r4UvuiS/JODHpnIGLqbXWvs5rQQsSZSiZ1rbJb3SEC+JktDTF5gcwaGfHMvqmzPfq+XBiy4lfHzIs3tP1dLujJaKnPWLdaeBrhGwi7ry4YYbg1hDcQpycn28dpT23XM8ie5l/vug2kEIUDOCC3Hj5f+gyLg6qp6BWPv9aIi9ECz+0LwPWWr5SJZnN4KyAoB5nPlD4+QFdky6zdXtzpAhbwezhqYWuXAE804xL4ibKXw7w9Lj2oJoRLwyM= Content-Type: text/plain; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-OriginatorOrg: lexifi.com X-MS-Exchange-CrossTenant-Network-Message-Id: 465e270a-3367-4342-b8cd-08d6fd87f422 X-MS-Exchange-CrossTenant-originalarrivaltime: 30 Jun 2019 18:22:48.5058 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 9c9628ec-e5c3-4aa7-afa1-e7bf99470874 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: nicolas.ojeda.bar@lexifi.com X-MS-Exchange-Transport-CrossTenantHeadersStamped: PR0P264MB0233 Subject: Re: [Caml-list] ocaml on cygwin64 Reply-To: =?utf-8?B?Tmljb2zDoXMgT2plZGEgQsOkcg==?= X-Loop: caml-list@inria.fr X-Sequence: 17662 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: RGVhciBQZXIsDQoNCkkgdGhpbmsgaXQgd2lsbCBiZSBlYXNpZXIgZm9yIHBlb3BsZSB0byBoZWxw IHlvdSBpZiB5b3UgcHJvdmlkZSBtb3JlDQpkZXRhaWxzIGFib3V0IHRoZSBwcm9ibGVtcyB5b3Ug YXJlIGZhY2luZywgc3VjaCBhcyB3aGF0IGVycm9ycyBhcmUgeW91DQpnZXR0aW5nLCByZXByb2R1 Y3Rpb24gc3RlcHMsIGV0Yy4NCkFzIGZhciBhcyBJIGtub3csIHRoZSBjeWd3aW4gcG9ydCBvZiBP Q2FtbCBpcyBub3QgYWJhbmRvbmVkIGFuZCB0aGVyZQ0KYXJlIG5vIHBsYW5zIHRvIGRvIHNvLg0K DQpCZXN0IHdpc2hlcywNCk5pY29sw6FzDQoNCk9uIFN1biwgSnVuIDMwLCAyMDE5IGF0IDI6MTUg UE0gUGVyIExhcnNzb24gPHBlci5sYXJzc29uQHByb3Zlci5jb20+IHdyb3RlOg0KPg0KPiBXZSBo YXZlIHN0YW5kYXJkaXplZCBvbiB0aGUgY3lnd2luICg2NC1iaXQpIHBsYXRmb3JtIGF0IG15IHdv cmtwbGFjZS4gVGhlIGxhdGVzdCB2ZXJzaW9uIG9mIG9jYW1sIGF2YWlsYWJsZSBmb3IgdGhpcyBw bGF0Zm9ybSBpbiB0aGUgY3lnd2luLXBhY2thZ2UgdG9vbCBpcyA0LjA0LjIuIFRoaXMgaXMgYWxz byB0aGUgbGF0ZXN0IHZlcnNpb24gd2hpY2ggaGFzIHdvcmtlZCB3aXRob3V0IHByb2JsZW1zIGZv ciBtZS4gTGF0ZXIgdmVyc2lvbnMgY2FuIGJlIGJlIGluc3RhbGxlZCB1c2luZyBvcGFtLCBidXQg YXMgc29vbiBvbmUgdHJpZXMgdG8gdXNlIHRoZSBjb21waWxlIHN1aXQgb3IgaW5zdGFsbCBleHRy YSBsaWJyYXJpZXMgd2l0aCBvcGFtIHRoZXJlIGFyZSBwcm9ibGVtcyBjb25uZWN0ZWQgdG8gbG9h ZGluZyBzaGFyZWQgbGlicmFyaWVzLiAgU29tZSBnb29nbGluZyBnaXZlcyB0aGF0IHRoZXJlIGlz IGEgcHJvYmxlbSBjb25jZXJuaW5nIGZsZXhkbGwvZmxleGxpbmsgY2F1c2luZyB0aGlzLiBJIGhv cGUgc29tZW9uZSBjYW4gZ2l2ZSBtZSBtb3JlIGluZm9ybWF0aW9uIG9uIHRoaXMuIElzIHRoZSBj eWd3aW42NCBwbGF0Zm9ybSBwcmVzZW50bHkgYWJhbmRvbmVkIG9yIGlzIHRoaXMgd29ya2VkIG9u IG9yIHBsYW5uZWQgdG8gYmUgZml4ZWQgaW4gc29tZSBmdXR1cmUgdmVyc2lvbiAod2hpY2gpID8g SXMgdGhlcmUgYSBwbGFuIHRvIHVwZGF0ZSB0aGUgdmVyc2lvbiBhdCB0aGUgY3lnd2luIHBhY2th Z2UgdG9vbCBzb29uPw0K