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 ESMTP id 55E8C5D4 for ; Thu, 8 Nov 2018 21:00:46 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.54,480,1534802400"; d="scan'208";a="354831182" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Nov 2018 22:00:42 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0494682533; Thu, 8 Nov 2018 22:00:43 +0100 (CET) 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 B7847824E4 for ; Thu, 8 Nov 2018 22:00:33 +0100 (CET) Authentication-Results: mail2-smtp-roc.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-PR2-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3ARHnPYRUILjmFgH1ijoMHPGmmVa3V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbROFt8tkgFKBZ4jH8fUM07OQ7/i/HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba9wIRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KpwVhTmlD?= =?us-ascii?q?kIOCI48GHPi8x/kqRboA66pxdix4LYeZyZOOZicq/Ye94RWGhPUdtLVyFZAo2y?= =?us-ascii?q?cZYBD/YPM+hboYnypVoOogexCwajH+7v1iRHi2Xq0aEmz+gsEwfL1xEgEdIUt3?= =?us-ascii?q?TUqc34Or8TUe+py6nIyTfEb+hL0jnk6ojHbA0uruuRVr9tdM3R01QkGgTDjlWR?= =?us-ascii?q?tYPlODeV2f4Ws2SB6OpgV/yghHM9pA1ruTeg3N0sh5LNho0LxVHE9Ct5wIcvKd?= =?us-ascii?q?KkT057ZMepHZ1NvC+UMIt2R9ktQ2BuuCsixb0GuIK7fCgXyJs83RLQd/uHc42O?= =?us-ascii?q?7xn+V+iROS91iX15dL6lmhq+7UqtxvfhWsWqylpGszZJn9fUunwTyxDe7tKLR/?= =?us-ascii?q?h980u7xzqDywPe5vtZLU01kafXM5AhzaAzm5YPtEnOGzL5l1nqg6CLc0gp/ual?= =?us-ascii?q?5Pj9bbjjp5KTLZN4hwD7P6khlcGwHPk0Pw4TVGaB4+u8zqfs/UjhTbVKkPI2lq?= =?us-ascii?q?7ZvYjaK8oHuqO1HxJZ3p855RijETuqydMYkmIZI15ffxKHkpTpNErJIPDlC/ew?= =?us-ascii?q?nk6gkC9xx/DBIr3uHInCLmTCkLfme7Zx8UlcyBcvzdBb4JJUDbIBLOjvVU/2sd?= =?us-ascii?q?zUFh45MwqqzOb7ENhw2Z8SVXiSDqOFMq7eq0KE6vw1L+WReIMYti7xK/0/6P7v?= =?us-ascii?q?iX85l0Udfa6s3ZYPbnC4H+hpI0KdYXX2mdcNC2AKvgggQ+P3klKOSyVcaGyoX6?= =?us-ascii?q?8n4jE0Fo2nDYbNRoCsmrCOwCC7HphOamBcFl+MCWvod5mDW/oUdC2dOMphkjgd?= =?us-ascii?q?WbilSo8hzg2uuRThy7tnK+rU4jcXuYji1Nhz/e3TlAs9+SZ6D8SHgCmxSDRKn2?= =?us-ascii?q?4UDxs7lPRhoEFhzk7TjIB3hvVZEZpY4PYfASkgMpuJ6e1xDNR7QUrmfNqFQR6M?= =?us-ascii?q?zs/uVTcwRdU1ysRIZERwF9zkhBnZ9y6nE74blvqAA5liofGU5GT4O8sokyWO76?= =?us-ascii?q?ImlVRzB5IXbTT31J46zBDaAsvyq2vckq+rcaoG2yuUrjWHwHqPskAeWwl1A/yc?= =?us-ascii?q?ASIvI3DOpNG83XvsCqe0AO19YA9M2c+MK+1Bbdi71QwbFsemA8zXZieKo0n1BR?= =?us-ascii?q?uMwe/TPqTQUj1EmR3nUg0DmQ1V+muaPw8jACvnu3jZEDFlCVPoZQXr7PV6r3S4?= =?us-ascii?q?CEQzylPTYg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DeCQAqo+Rbh2cMayhkHgEGBwaBZYExU?= =?us-ascii?q?GlwAwQLJwqDboNHA4UtilNzgWSDQoVCdmONeQNTDAEjCYRAAheDHAYBBDQWAQM?= =?us-ascii?q?BAQIBAQEBARMBAQEIDQkIKSMMgjYkAYJgAQIDIxEMAQE3AQ8CAQgLDQICJgICA?= =?us-ascii?q?h8BEBUFCwIEDgWDIQGBaQMVAQIMnWkCigdwgS6CdgEBBYUHDQuBAIEGCIELi2m?= =?us-ascii?q?BHIMlfoJWRQKEZYJXlRqKAi4HAoMLg2eGeYMrGIIjjkmNIIEEiSUCBAIEBQINA?= =?us-ascii?q?QEFgVqBdnBQMQaCNQmCEhqDU4QghjJBMYEoiw4BgR4BAQ?= X-IPAS-Result: =?us-ascii?q?A0DeCQAqo+Rbh2cMayhkHgEGBwaBZYExUGlwAwQLJwqDboN?= =?us-ascii?q?HA4UtilNzgWSDQoVCdmONeQNTDAEjCYRAAheDHAYBBDQWAQMBAQIBAQEBARMBA?= =?us-ascii?q?QEIDQkIKSMMgjYkAYJgAQIDIxEMAQE3AQ8CAQgLDQICJgICAh8BEBUFCwIEDgW?= =?us-ascii?q?DIQGBaQMVAQIMnWkCigdwgS6CdgEBBYUHDQuBAIEGCIELi2mBHIMlfoJWRQKEZ?= =?us-ascii?q?YJXlRqKAi4HAoMLg2eGeYMrGIIjjkmNIIEEiSUCBAIEBQINAQEFgVqBdnBQMQa?= =?us-ascii?q?CNQmCEhqDU4QghjJBMYEoiw4BgR4BAQ?= X-IronPort-AV: E=Sophos;i="5.54,480,1534802400"; d="scan'208";a="354831118" Received: from mail-eopbgr120103.outbound.protection.outlook.com (HELO FRA01-PR2-obe.outbound.protection.outlook.com) ([40.107.12.103]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA256; 08 Nov 2018 22:00:32 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lexifi1.onmicrosoft.com; s=selector1-lexifi-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=5XXWL7VjgdgBPSj94NOKrNiV7i8p9IB0My2+KrKkuBw=; b=vczgCL08OpyGbAa6zbdvN0pZ42/OKm0B9mIOakB1Qbg4xAoI4vxzinh6QZCAqYg32gVrzSYdLSo3YqIUzguS/X+WJEbiTl5VbOPeHp4dq4AvgWYDNlJGJieF7UeHCLRd1moSUadsSw0j2ZGz2Emx2dkoiJN7KjYUC3Vwe61DPIQ= Received: from MR2P264MB0740.FRAP264.PROD.OUTLOOK.COM (52.134.41.14) by MR2P264MB0274.FRAP264.PROD.OUTLOOK.COM (52.134.34.142) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1294.21; Thu, 8 Nov 2018 21:00:30 +0000 Received: from MR2P264MB0740.FRAP264.PROD.OUTLOOK.COM ([fe80::dccd:93ca:6a06:44d1]) by MR2P264MB0740.FRAP264.PROD.OUTLOOK.COM ([fe80::dccd:93ca:6a06:44d1%4]) with mapi id 15.20.1294.034; Thu, 8 Nov 2018 21:00:30 +0000 From: =?utf-8?B?Tmljb2zDoXMgT2plZGEgQsOkcg==?= To: Viet Le CC: OCaml Mailing List Thread-Topic: =?utf-8?B?W0NhbWwtbGlzdF0gT2NhbWxmaW5kIGNhbuKAmXQgZmluZCBsZXhlciBpbiBk?= =?utf-8?Q?efault_folder_compiler-libs?= Thread-Index: AQHUd6RjkWtWLPUahkKCC5JZHFLsBqVGXNAA Date: Thu, 8 Nov 2018 21:00:30 +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: AM6P191CA0041.EURP191.PROD.OUTLOOK.COM (2603:10a6:209:7f::18) To MR2P264MB0740.FRAP264.PROD.OUTLOOK.COM (2603:10a6:500:12::14) x-ms-exchange-messagesentrepresentingtype: 1 x-originating-ip: [209.85.208.169] x-ms-publictraffictype: Email x-microsoft-exchange-diagnostics: 1;MR2P264MB0274;6:yXpRYyqfHIBgUek5+0TfhI7zOl71K8gqwDS2vNkN2fR+2E+Yvwz9zVqoUUxEMdSUB1kt+Q4gyXdmrDwSe+AoR7IvvTD+FlxxDzvg//aM9utRr/5R4WCfw52+s4JyQBk70DD2PoSrRaF/75riHq+mvJtUmdAhsNTC8WIdXCw6n9cufrAeecJbSAKppv95Ttb/EP84X5X3zEPbDFCL2l2eAFfJx1E7Oeyq8Od//WdkP7micLd0NOdhNwk0QKOrIJEMZJqrt7pi93QR4mRXFdAlQW8oIsHBGbXXiFqYzzwmmtNs4V6Ho+cLqxtxq9bGGy3FKKu+4JKzeDpVg2hh6o8veOLCnOFkJZhQp8k1Dbi4ctaRWHz3lNRWRDoVPz8aU/VN/tKjb82wG9tt1F7zXmr5zUKN/C/1IZS1rsDgFGuUJFp5J+uBcnzejnfof52Jx5E9ohpAt28yN9FpchOFNXoxAA==;5:YPyIqUrNWZ0CvNCFELLcqhCpSMqDbNXhqVsSz1O3OmUn0SooswUdQdNS9zw9dm8an4pGTKzzI0+nD/RVF8H7k1VjpbZ+n/MoSGSKdryPS6a2abYbgvFgL+vQpSzlnT7AyEUHv/D4UcWG4AeTEAJpq4lXutcqjx2JNmZ8XNSokmk=;7:ddk9zuRiy0AYqum1IQD4iMRrtWz3lWNzGrrgrXbKLM/Dl0fhe3Hpbh4vR/FpEf/gp8suqte15gsKNH1hlZqLavsPYA/RB3o8/PaETXSD1YxPOIPF8clQXLIjqPDv5WshcIEiWyxFUj1jHizbCR9qAw== x-ms-office365-filtering-correlation-id: 7f5a8a94-b186-42fd-19df-08d645bd3752 x-microsoft-antispam: BCL:0;PCL:0;RULEID:(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600074)(711020)(2017052603328)(7153060)(7193020);SRVR:MR2P264MB0274; x-ms-traffictypediagnostic: MR2P264MB0274: x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:(166708455590820)(85827821059158); x-ms-exchange-senderadcheck: 1 x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(6040522)(2401047)(8121501046)(5005006)(3002001)(93006095)(93001095)(3231382)(944501410)(52105095)(10201501046)(148016)(149066)(150057)(6041310)(20161123558120)(20161123562045)(20161123564045)(201703131423095)(201702281528075)(20161123555045)(201703061421075)(201703061406153)(20161123560045)(201708071742011)(7699051)(76991095);SRVR:MR2P264MB0274;BCL:0;PCL:0;RULEID:;SRVR:MR2P264MB0274; x-forefront-prvs: 0850800A29 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(136003)(39840400004)(366004)(396003)(346002)(376002)(189003)(199004)(53754006)(53936002)(25786009)(6436002)(6306002)(97736004)(1411001)(9686003)(6862004)(498394004)(6246003)(4326008)(55446002)(6116002)(6512007)(316002)(53546011)(102836004)(3846002)(61726006)(8936002)(386003)(2900100001)(6506007)(52116002)(76176011)(61266001)(81166006)(81156014)(33896004)(105586002)(99286004)(85182001)(86362001)(7736002)(305945005)(85202003)(71190400001)(966005)(106356001)(68736007)(26005)(71200400001)(66066001)(11346002)(186003)(446003)(478600001)(476003)(256004)(14454004)(486006)(229853002)(5660300001)(6486002)(2906002);DIR:OUT;SFP:1102;SCL:1;SRVR:MR2P264MB0274;H:MR2P264MB0740.FRAP264.PROD.OUTLOOK.COM;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;MX:1;A:3; x-microsoft-antispam-message-info: c5/pe7EIA203vt07ABDvpq27PQfkjZ/hhqpDJaDOiq95UWptyqC3sAS77zZ+fiSETlF12fEDdLAZgdpcGLL0oZSMilGJ+ucNiSkvpr22K6ytG7szT8GBrwJxX3NlNBmjJKJXv1Dk2Qi1C5kDg7naXloxuRPJbQ5uA434wd9agjrATLkn2FvabRhEnFJ0p9uffH6+VVwllTtHAFJNePwAxJS2UEEf9lIl7+xPn+fu5ToRTcichSnjS3cE8MdyUWoQqkJSOlzW3cOLPB1eL22R3c5ueQ9O4qh8WfHRB0Xqf8obN4sB9pse9NQzF6lHy1SSNbhNLFrW3KDjMNTQLDcaIJ85kPyJmErY8+diOob6xAE= spamdiagnosticoutput: 1:99 spamdiagnosticmetadata: NSPM Content-Type: text/plain; charset="utf-8" Content-ID: <8F0943B701DEF04190F648E6E59FAE11@FRAP264.PROD.OUTLOOK.COM> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-OriginatorOrg: lexifi.com X-MS-Exchange-CrossTenant-Network-Message-Id: 7f5a8a94-b186-42fd-19df-08d645bd3752 X-MS-Exchange-CrossTenant-originalarrivaltime: 08 Nov 2018 21:00:30.0638 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 9c9628ec-e5c3-4aa7-afa1-e7bf99470874 X-MS-Exchange-Transport-CrossTenantHeadersStamped: MR2P264MB0274 Subject: Re: [Caml-list] =?UTF-8?Q?Ocamlfind_can=E2=80=99t_find_lexer_in_d?= =?UTF-8?Q?efault_folder_compiler-libs?= Reply-To: =?utf-8?B?Tmljb2zDoXMgT2plZGEgQsOkcg==?= X-Loop: caml-list@inria.fr X-Sequence: 17128 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: SGkgVmlldCwNCg0KUHJvYmFibHkgeW91IHNob3VsZCB1c2UgYC1wYWNrYWdl IGNvbXBpbGVyLWxpYnMuY29tbW9uYCBpbnN0ZWFkIG9mDQpgLXBhY2thZ2Ug bGV4ZXJgIChhbmQgaWYgeW91IGRvIHRoaXMgeW91IHNob3VsZCBub3QgbmVl ZCB0byBleHBsaWNpdGx5DQpwYXNzIHRoZSBwYXRoIHRvIHRoZSBjb21waWxl ci1saWJzIGRpcmVjdG9yeSB3aXRoIGAtSWApLg0KDQpIb3BlIGl0IGhlbHBz IQ0KDQpCZXN0IHdpc2hlcywNCk5pY29sw6FzDQpPbiBUaHUsIE5vdiA4LCAy MDE4IGF0IDk6NDggUE0gVmlldCBMZSA8dmlldGxxODVAZ21haWwuY29tPiB3 cm90ZToNCj4NCj4gSGkgYWxsLCBJ4oCZbSB0cnlpbmcgdG8gcmV2aXZlIGFu ZCBtb2Rlcm5pc2UgdGhlIHByb2plY3QgaW9jYW1sanMgYnkgQW5kcmV3IFJh eS4gSGVyZeKAmXMgbXkgZm9yayBicmFuY2g6IGh0dHBzOi8vZ2l0aHViLmNv bS92aWV0bHEvaW9jYW1sanMvdHJlZS9zY3JhdGNoL21vZGVybmlzZS1idWls ZA0KPg0KPiBJIHdhcyBhYmxlIHRvIGNvbXBpbGUgaW5pdGlhbGx5IGJ1dCBz b21laG93IGl0IHN0b3BwZWQgY29tcGlsaW5nLiBUaGUgaXNzdWUgaXMgb2Nh bWxmaW5kIGNhbuKAmXQgZmluZCBsZXhlciBpbiBkZWZhdWx0IGZvbGRlciBj b21waWxlci1saWJzLiBJ4oCZbSB1c2luZyBtYWNvcyBNb2phdmVlIGFuZCBP Q2FtbCA0LjA2LjEuDQo+DQo+IFRoZSBzdGVwcyB0byByZXByb2R1Y2U6DQo+ DQo+IGdpdCBjbG9uZSBodHRwczovL2dpdGh1Yi5jb20vdmlldGxxL2lvY2Ft bGpzLmdpdA0KPiBjZCBpb2NhbWxqcw0KPiBnaXQgZmV0Y2ggLS1hbGwNCj4g Z2l0IGNoZWNrb3V0IHNjcmF0Y2gvbW9kZXJuaXNlLWJ1aWxkDQo+DQo+IG1h a2UgY2xlYW4gZnVsbA0KPg0KPiBUaGUgZXJyb3IgbG9nczoNCj4NCj4gcm0g LWYgKi5jbWlzLmpzDQo+IHJtIC1mICouY21baW9hXSBpb2NhbWxfZnVsbC5i eXRlIGlvY2FtbC5ieXRlIGlvY2FtbC5qcw0KPiBybSAtZnIgKn4NCj4gb2Nh bWxmaW5kIG9jYW1sYyAtYyBleGVjLm1saQ0KPiBvY2FtbGZpbmQgb2NhbWxj IC1wYWNrYWdlIGxleGVyIC1wYWNrYWdlIGpzX29mX29jYW1sIC1wYWNrYWdl IGpzX29mX29jYW1sLXBweCBcDQo+IC1wYWNrYWdlIHN0cixkeW5saW5rLGpz X29mX29jYW1sLGpzX29mX29jYW1sLmNvbXBpbGVyLGpzX29mX29jYW1sLnRv cGxldmVsIFwNCj4gLUkgL1VzZXJzL3ZpZXRscS8ub3BhbS80LjA2LjEvbGli L29jYW1sL2NvbXBpbGVyLWxpYnMgXA0KPiBleGVjLm1sDQo+IG9jYW1sZmlu ZDogUGFja2FnZSBgbGV4ZXInIG5vdCBmb3VuZA0KPiBtYWtlOiAqKiogW2V4 ZWMuY21vXSBFcnJvciAyDQo+DQo+IEkgYWN0dWFsbHkgaGF2ZSBsZXhlciBm aWxlcyBieSBkZWZhdWx0Og0KPg0KPiAkIGxzIC1sdHJhICRIT01FLy5vcGFt LzQuMDYuMS9saWIvb2NhbWwvY29tcGlsZXItbGlicy8qbGV4ZXIqDQo+DQo+ ICRIT01FLy5vcGFtLzQuMDYuMS9saWIvb2NhbWwvY29tcGlsZXItbGlicy9s ZXhlci5jbWkNCj4gJEhPTUUvLm9wYW0vNC4wNi4xL2xpYi9vY2FtbC9jb21w aWxlci1saWJzL2xleGVyLmNtdA0KPiAkSE9NRS8ub3BhbS80LjA2LjEvbGli L29jYW1sL2NvbXBpbGVyLWxpYnMvbGV4ZXIuY210aQ0KPiAkSE9NRS8ub3Bh bS80LjA2LjEvbGliL29jYW1sL2NvbXBpbGVyLWxpYnMvbGV4ZXIubWxpDQo+ ICRIT01FLy5vcGFtLzQuMDYuMS9saWIvb2NhbWwvY29tcGlsZXItbGlicy9s ZXhlci5jbXgNCj4NCj4gQW55IGhlbHAgaXMgYXBwcmVjaWF0ZWQuDQo+DQo+ IC0tDQo+IEtpbmQgcmVnYXJkcywNCj4gVmlldA0KCi0tIApDYW1sLWxpc3Qg bWFpbGluZyBsaXN0LiAgU3Vic2NyaXB0aW9uIG1hbmFnZW1lbnQgYW5kIGFy Y2hpdmVzOgpodHRwczovL3N5bXBhLmlucmlhLmZyL3N5bXBhL2FyYy9jYW1s LWxpc3QgaHR0cHM6Ly9pbmJveC5vY2FtbC5vcmcvY2FtbC1saXN0CkZvcnVt OiBodHRwczovL2Rpc2N1c3Mub2NhbWwub3JnLwpCdWcgcmVwb3J0czogaHR0 cDovL2NhbWwuaW5yaWEuZnIvYmluL2NhbWwtYnVncw==