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 E30CC5D5 for ; Sat, 11 Dec 2021 11:44:54 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.88,198,1635199200"; d="scan'208,217";a="10254000" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Dec 2021 12:44:54 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id DCED2E0244; Sat, 11 Dec 2021 12:44:53 +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 E2F9DE016E for ; Sat, 11 Dec 2021 12:44:47 +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-MR2-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?A9a23=3A6ikc5RJU3IQwB22GFNmcuGdhWUAX0o4c3iYr45Y?= =?us-ascii?q?qw4hDbr6kt8y7ehCFvLM90BSTAc3y0LFts6LuqafuWGgNs96qkUspV9hybSIDk?= =?us-ascii?q?tgchAc6AcSIWgXRJf/uaDEmTowZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF?= =?us-ascii?q?5Ovn5FpTdgsipyuy+4Z7ebgpHiDajbr55MQm7oxjWusQKm4VpN7w/ygHOontGe?= =?us-ascii?q?uRWwX1nKFeOlBvi5cm+4YBu/T1It/0u68BPX6P6f78lTbNDFzQpL3o15Mzwuhb?= =?us-ascii?q?dSwaE+2YRXX8XkhpMBAjF8Q36U5LsuSb0quZxxC+XNtDwQLspWzqt8r1rRQfoh?= =?us-ascii?q?ikZKjA57G/ZhM9+jK1ZvB2uqAdyzJTIbI2JLvdyYr/Rcc4cSGFcXshRTStBAoa?= =?us-ascii?q?kYoUXDuoOIeFYr43/oFsVtRSwHAusC/3yxTBSnnD7wKg90/48GgzB2gwgHs4Bs?= =?us-ascii?q?HPQrNrvL6ceS+e1zKvWwjredfxawyzy55LSch06pfGDQ71xccvfyUkuDQ/KklK?= =?us-ascii?q?QqYn8Mj6Ty+8CvHSV4fB6WuKzl24otRtxoj63y8oihITEiYAYx07L+Ch5z4g4K?= =?us-ascii?q?tO2RVJ1b9O6DJZcqyCXOolrT84gQGxlpTg3x70HtJO4eCUH1ZQqyRHDZ/GZfIa?= =?us-ascii?q?F5A/oWuiWITd9nn1lebS/ig618Ue80OL8U8203ExNripfndnBsG0G2R/L6sWfR?= =?us-ascii?q?fZx4l2t1SuT2w3R8O1JJVo4mK7bJpI53LI9l4YfvErGEyPrhEn5lq6be0A59uS?= =?us-ascii?q?09ejqZ6jqppGeOoJxjwzyL6Ajl8qiCuoiKAcORXKU+eGk2b3j40L5RLJKg+U2n?= =?us-ascii?q?KfFrJ3WOdkXqre+DQFJzIov8hG/ACy439gCmnkHMU5FdwmAj4j0PVHBPer0De+?= =?us-ascii?q?lg1SrjDdk2ezJPqHgApXKKHjPirDhfath605YzwozytNf64hIBbEGJfL/Qk7xt?= =?us-ascii?q?NrGAR8lKwG5zPrrBM9g2o8CW2+DGKuUPLnWvFKI/u4vJvODZI4RuDbzMfgl4Pv?= =?us-ascii?q?ugGc/mV8cYaap2p8XZ2qjHvh8JEWZY2TjjcobHmsQpQUxVvbqhUaGUTFNaHeyX?= =?us-ascii?q?qw85jAhBI26CofDQ5ihgKad0yejAp1WemdGB0iQHnjycoWEX+4AaCaTIs96jjw?= =?us-ascii?q?JTqOhSo8k1RG2rgD20btnLuzO+i0Zr53vztZ15/eA3S01oHZ/BsGZlmWMVH1cn?= =?us-ascii?q?2USRjZw0ro16Rh2w1KHlKx5mOBwFNpJ5voPXB1scdaW4+VkCty6d0SJWN6TVl+?= =?us-ascii?q?rUJ/uVT08SINsnYUmeUdhXdiuk0aQ8TCtBuozlreMABUvxYXe0nT4EOzx0T6S0?= =?us-ascii?q?qgqiF0vWY1IN2Cqj+h1/hL7A4PZkkuY0a2tcPJPj2b26G6fwD/W7wljWwlqXPC?= =?us-ascii?q?dNZj+TmXshIygo2b4FfqpA7lhNRZdw8mfLKcMcsfukVhNWPbkPpLZfn61nGCzQ?= =?us-ascii?q?x2Pw+HVBGIFU2EQzCTTCQ4PlAVBpB5u0CA6CzegrWOYBztrRwqHXg=3D=3D?= IronPort-Data: =?us-ascii?q?A9a23=3AQadNOKrNvo1tpYfQmvaHlol6CkZeBmInZBIvgKr?= =?us-ascii?q?LsJaIsI5as4F+vmMZW2yHOKveZWanc9pwa46x90gCsJ+Bn9BkHlNqpSljZn8b8?= =?us-ascii?q?sCt6faxfh6hZXvKRiHgZBs6tJtGMoGowPjZ/xYwnz/1WlTahSQ6hfHgqobUUra?= =?us-ascii?q?eY3krHFY8EU/NtDo68wIHqt4w6TSGK1jV0T/Ci5W31G6Ng1aYAEpMg06wgE8HU?= =?us-ascii?q?MDJhd8tlgdWicanE7PpvyJ94Jo3fcldJpZjK2VeNrbSq+3rlNlV8o5FlirBBO9?= =?us-ascii?q?Jkp6jGqELapDoFFDXz19sAe2liBUEoTEu2KEmMvZacV1QlziCg9F2zpNKqIC0T?= =?us-ascii?q?gAqeKbLnYzxUTEES2cnZfIAqfmWfBBTsuTLp6HCW33tyPJqBVpwOo8V9u8xC2h?= =?us-ascii?q?U3fgVODEDb1aIgOfeLLeTE7E2259ycZCD0IQ34Sg7lm6x4ewdaZvKRqGP4d5Dw?= =?us-ascii?q?B8rl8VWFLDfYdAYYHxhdnz9j7dnLg9CU9RjiL793j+nZ2cN8BTP+PRp9zOGlEo?= =?us-ascii?q?sxOe4GcTzUdmsacVxv0++mnjgwWXcFkhCYYTbkS7tHmmEg+bOmWb2X5oYG6fpr?= =?us-ascii?q?qY73RuU23AZDwAQWR2ju/6lh0WiWtVZbUsJ5i4pqqt0/0uuJuQRliaQ+Bas1iP?= =?us-ascii?q?wkfILewH71O2M9kYQyyijLzBdCxt7MpkhvsJwQiE23FiUmd+vHSZorLCeVXOa8?= =?us-ascii?q?PGTsC+2Pi8Wa2QFYEfoiCMbtsL7rthbYg3nF75e/Gyd17UZ2g0cBxiOoTg/ibR?= =?us-ascii?q?VhskOv0l+1U6SmCqi//AlUSZsjjg6nQuZAsdRYIO1ZoKpr1Pc6J6s6a7xokap5?= =?us-ascii?q?BA5piRV0AzC4VxhWsBArCXh0YxFP8q4DQA=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3Awu4no6qICzLs54sTzbQ1ClEaV5ukL9V00zEX?= =?us-ascii?q?/kB9WHVpm5Oj+vxGzc5w6farsl0ssSkb6Ki90dq7MAjhHP9OkMIs1NKZMDUO11?= =?us-ascii?q?HYSL2KgbGC/9SkIVyGygc/79YrT0EdMqyWMbESt6+Tj2eF+pQbsb+6GcuT9ITj?= =?us-ascii?q?JgJWPGRXgtZbnmVE42igcnFedU1jP94UBZCc7s1Iq36LYnIMdPm2AXEDQqzqu8?= =?us-ascii?q?DLvIiOW29LOzcXrC21yR+44r/zFBaVmj0EVSlU/Lsk+W/Z1yTk+6SYte2hwBO0?= =?us-ascii?q?7R6d030Woqqu9jJwPr3NtiEnEESutu9uXvUiZ1S2hkF1nAho0idurDCDmWZlAy?= =?us-ascii?q?050QKqQoj8m2qR5+Cn6kdi15aq8y7lvVLz5cP+Xz40EMxHmMZQdQbY8VMpuJVm?= =?us-ascii?q?3LtMxH/xjesgMfrsplWI2zHzbWAcqqN0mwtTrccDy3hEFYcOYr5YqoISuEtTDZ?= =?us-ascii?q?cbBSr/rIQqCvNnAs3Q7OtfNQryVQGQgkB/hNi3GngjFBaPRUYP/sSTzjhNhXh8?= =?us-ascii?q?i08V3tYWkHsM/I80D5NE++PHOKJ1k6wmdL5eUYttQOMaBcenAG3ERhzBdGqUPF?= =?us-ascii?q?T8DakCf2nArpbmiY9Fkd1CuKZ4vqfatK6xLm+whFRCCH4GU/f+o6Gj2iq9MVmA?= =?us-ascii?q?YQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DIBAB2jrRhh18JayhaDnuCegEwVH9YJ?= =?us-ascii?q?xIxiA4DhTmFDoEQgXIDjRCFUYl5gREDVAsBAwELAjEQBAEBhQYCgyEfBgEENBM?= =?us-ascii?q?BAgQVAQEFAQEBAgEDAwQBEwEBAQENCw4INCKFaA2CNSKDawEBAQEDEi4BATgPA?= =?us-ascii?q?gEIRjIlAgQBEggagk8Bgg5SBQMwAqRaAYE6AolqNXiBM4EBgggBAQYEBIULGII?= =?us-ascii?q?bGgmBOoMOhByHCIErgSWBWIJnPoFQgjYFBQESASMrgyKCLpJwBoEQChEQgQARN?= =?us-ascii?q?BkBHz+hCp5GB4NDgzmHKotIiRcVhTmiFJYsH4xclBgHGYE1gzYCBAIEBQIOAQE?= =?us-ascii?q?GgXiBDXBwUIJpCUgZD44sDQmDUIQgdIUFRUIyOAIGAQoBAQMJkHABAQ?= X-IPAS-Result: =?us-ascii?q?A0DIBAB2jrRhh18JayhaDnuCegEwVH9YJxIxiA4DhTmFDoE?= =?us-ascii?q?QgXIDjRCFUYl5gREDVAsBAwELAjEQBAEBhQYCgyEfBgEENBMBAgQVAQEFAQEBA?= =?us-ascii?q?gEDAwQBEwEBAQENCw4INCKFaA2CNSKDawEBAQEDEi4BATgPAgEIRjIlAgQBEgg?= =?us-ascii?q?agk8Bgg5SBQMwAqRaAYE6AolqNXiBM4EBgggBAQYEBIULGIIbGgmBOoMOhByHC?= =?us-ascii?q?IErgSWBWIJnPoFQgjYFBQESASMrgyKCLpJwBoEQChEQgQARNBkBHz+hCp5GB4N?= =?us-ascii?q?DgzmHKotIiRcVhTmiFJYsH4xclBgHGYE1gzYCBAIEBQIOAQEGgXiBDXBwUIJpC?= =?us-ascii?q?UgZD44sDQmDUIQgdIUFRUIyOAIGAQoBAQMJkHABAQ?= X-IronPort-AV: E=Sophos;i="5.88,198,1635199200"; d="scan'208,217";a="10253951" X-MGA-submission: =?us-ascii?q?MDHEVu1vRi+YpZLUU1XZiSzZwrQOWLH4ozUM5Z?= =?us-ascii?q?lQfxcrlkPjjUxEM/Enk4+owsPJBRzklOrviBBUmJ8Ra2+alkm5A7yVcm?= =?us-ascii?q?2V6YEkMg1ZxNzeWkgrkKs5j1mI/5NCVVxZsyvPXs9oScqoxPL5/V6Dpt?= =?us-ascii?q?TVSeEPys6Ma/7gTPWHZgMD6g=3D=3D?= Received: from mail-eopbgr90095.outbound.protection.outlook.com (HELO FRA01-MR2-obe.outbound.protection.outlook.com) ([40.107.9.95]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 11 Dec 2021 12:44:48 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=mW18vMYtkmM2NTLF7t7MTToYKL/IMDPsJW50JnW5OSguQXb18/ovJAOENbgXgSELauvq5RhvXpHPFWgno5h7aiuDffiCtUpT7d/LuKS/sPOjWPOjHaXiO56933B7hdCCmX1p3eiDCouY9O2xwHCqrlVI5RQCd9XTZntyU6v//sUHH0GdyZTDaqTE8qF7siPfQAOMEjLzgvKIIFhZ8+aKNLxnnDvZScSPDLTETNWZbYxUnv9B3zjuRyOv2GKERlR+YI2+u0xZ97RCoZqQTX7mUnjzbA8iG/GqgJNym6Dfoqkwb5alATLzNU+veBa8RQt6NIcCUurZWZ3rqLR2mKJ7cQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=BzEjqRw9ul4d9yngVlIwloYEsvUEsX7bPFufWFU3JKg=; b=JtzvDcd+sSwy64PyNrvd42HwZwfJk8+TjxYr35hIUSMnEyREsAYD0BcKrKlC7mz6lMeh0z70VtG9a3SMWKUbmeV2BYYrIIVvro9Jj1bQoEl6jKmEgLvu5pNVOa0z7NT6NqjofhNSYVHpTk2uFmBAVmqeDGsbrtG7h/rTiNvKDM89vlKzheFO72T8QgNbeKFa95gEDAlyLXT1LIPRM/ycexCiwPwKRDJSHhoGqrfOd/f546XxPA7ypW82Ygc6WeMXEwkQkQS9kyWWJiHNNS7cu38XsRBFHOyGvE5N5AN40tRgdRxMC2g4Mjr15lQKRkAltwyG1QlQjolcpJVSzsp5/Q== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=lexifi.com; dmarc=pass action=none header.from=lexifi.com; dkim=pass header.d=lexifi.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lexifi1.onmicrosoft.com; s=selector2-lexifi1-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=BzEjqRw9ul4d9yngVlIwloYEsvUEsX7bPFufWFU3JKg=; b=OZwtm0GGqNdpG8g58TvD3ze9+kVcshKQrrT8y4L3A3NThm7hIv0maKwAvHN0AvCkBjLMqTkdB/B5Pnw5XrgVLtjtJzAmzbg/I3zaY9oAZbTIDDT+OiZH+wYdjluK0N42MJ62zIdVFkwMsAZfD8VE+V4N6uLAFcmHA+/XnXJHwaY= Received: from PAZP264MB2848.FRAP264.PROD.OUTLOOK.COM (2603:10a6:102:1f7::19) by PAZP264MB2720.FRAP264.PROD.OUTLOOK.COM (2603:10a6:102:1f7::22) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4778.16; Sat, 11 Dec 2021 11:44:44 +0000 Received: from PAZP264MB2848.FRAP264.PROD.OUTLOOK.COM ([fe80::f861:a31b:3802:848a]) by PAZP264MB2848.FRAP264.PROD.OUTLOOK.COM ([fe80::f861:a31b:3802:848a%3]) with mapi id 15.20.4755.026; Sat, 11 Dec 2021 11:44:44 +0000 From: =?iso-8859-1?Q?Nicol=E1s_Ojeda_B=E4r?= To: "caml-list@inria.fr" , "David E. Narvaez" Thread-Topic: [Caml-list] ocamldep and stdlib Thread-Index: AQHX7g4pWLnbVJ7rQkKVcloyrDB/i6wsU020 Date: Sat, 11 Dec 2021 11:44:44 +0000 Message-ID: References: <1801314.tdWV9SEqCh@titanium> In-Reply-To: <1801314.tdWV9SEqCh@titanium> Accept-Language: fr-FR, en-US Content-Language: fr-FR X-MS-Has-Attach: X-MS-TNEF-Correlator: suggested_attachment_session_id: 072fc6d1-c119-70ac-85b9-4d8f14edb179 x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 7624b5ab-85bc-4861-5d3c-08d9bc9ba01c x-ms-traffictypediagnostic: PAZP264MB2720:EE_ x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:10000; x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: vlvTeI77NIxnCrXk+JbCEj3W6aKck08e0zWnlnAJx2kleFYlc+b/PG5VdeIvHYTLDiNMjuW5fD5KOT56ENXV0bCBC0SCVfkbDBkBhqhoasEqlqxFHsXy4CA3hYGZV05YEnkejWWPZ2wV5TdaKYthhPdcjr/PmeFHmEpMBwzZ/PNHfTSml/ki5zAbGyxYl5yd39iQcpYsSCvgxqOYbtvOHksE9wwInHcsfwf+OZn5tfL8FJLgPxNE560KSaMDUKwk2nZVGiTopN0RSLDbuLZ+H0BHb/WVzKnV2cE2FW7V5PaAa4bI3MPtHuwUu8vicyGT7hICew73Lb4TLbqIQ9totKDbhimAir1/MqRrhw1sZPxJYnBn7gQI711JJzy6GDZBbigbWAhZYZdYG0tmKBLy1Sx5d05WboMMYJC4cSdmePG8/+W8OnHJiCNDq/Fszxi1AIYvA3T2g2gKYR0n9qIiBgymLiWcwsxb0D+aouBH4V5jBO9RXzvTztEcha5LAWWER2htckMnnj8hCqYsVhOLXRwZ1z/YQhh9I3uaY+uuYaHoVP/mjUkKjGrxYxS0yYvO3muEM2aSIw/L5MQaTgQxsZGswy8p03wnQ/rcRnAqwg0DANiyeSHoDYMNzCvDkHAF0m/uGzYMW6A0fwrDRBrFe80dss6G5E0aSBGfeLHH3M2OGo2hQNWbFqndiWbn2LjDpoQVxEkqmNgYm6PhXB0ULdTicEjVrtNv9FCGkjMNRsBxlXBkI0hCFdvmtwmmWY6ecNatwrCWsQsCGqnLo3KcC0oVKTNv3JIx+mFrhqI/rrs= x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:PAZP264MB2848.FRAP264.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(136003)(39830400003)(396003)(366004)(376002)(346002)(26005)(508600001)(8676002)(9686003)(19627405001)(8936002)(966005)(83380400001)(186003)(38070700005)(166002)(316002)(110136005)(52536014)(66556008)(66446008)(2906002)(66946007)(91956017)(76116006)(6506007)(7696005)(55016003)(38100700002)(33656002)(5660300002)(122000001)(71200400001)(66476007)(66574015)(64756008)(86362001);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?jb0aMAsKznyhNWLv4zfiqiOnUi1Y+2zbQPL7BsEEl4tVCPg7UHu15qDaXl?= =?iso-8859-1?Q?vjqaxl/mAbzyTNT8irAARDeKe+uHbOUq8RIh9jE5Z4csFT576wWa9T6m48?= =?iso-8859-1?Q?wYSuhRUNHP1atP67bzMpTcXnGSwKwrhoaXSL2C8gREcfbJLpRO32O0iY9U?= =?iso-8859-1?Q?Cy3dfomZ1/lNDQQC7tHnR1lmu8birkJx5eeBFc5LS4vATg5CSqkl7HsQog?= =?iso-8859-1?Q?q/6H2BXNIVCtkAVGBKCRa+LqaE4mYQIXTi/FB/X6m3ywjIVIIYl8n2x76q?= =?iso-8859-1?Q?01rLIxYTS6GL8NKgWpQG4CsM5dp4B4YNBA+14mOldwJVLJelbwKlDE6RhQ?= =?iso-8859-1?Q?wY/wvivXtYqgzI2yTyovdPTY2sm3Eeigl4qu5lGp99a6OP3YL4RDRoRIhT?= =?iso-8859-1?Q?3kR0f5NjjXEGmSq1mfxKs0ZKLWL/z61ms7WCuSgIvEC2oQW6QRx5Yf0LBF?= =?iso-8859-1?Q?lx02n1wTlom9Mkw9Dhj16OPRuWI4vGDJhoPGPQwMJJrHnLwpWHg6fsqUA9?= =?iso-8859-1?Q?xRohdh7d96h8AnDjO+sDyc+2aNPGoxMJfHcp4H3cNqyh+o8QTmLZlbTY5w?= =?iso-8859-1?Q?ZkCjWn7h6l6Oqc6EKGuezmikyWafVau6e/y5vwQ3PcldO8nNmfVwxoAac2?= =?iso-8859-1?Q?0MD4eI0DMvadn6q5aiT1dU3XVfJc23DtY2HZlBps6zzTwae/7S6LYiE/2T?= =?iso-8859-1?Q?9XrKvXzEfWrX3gzUsFIjNiG2Em/VX02MU6/13OqK3+yualEkx+wWvNlaS8?= =?iso-8859-1?Q?Pp+mNgaky1+tFt+Hx2Gr22uSWMy39cKytbQevIlWROkZ5+wYJLHFjSH1rv?= =?iso-8859-1?Q?/ap7iorIYUUqY831yWFp6AXXwT8QAKbVbj44jE5NWjtUbb2uN8Bbpt3BMW?= =?iso-8859-1?Q?fP8djRQmJX861X2HAodN6f0HMbzuCuSJVKUzqmsb59HWHqYFaxhmqJ5bEs?= =?iso-8859-1?Q?VoTeNeFTfQpMRDK4VJ3fwy8d1OSDsR7hzHl0aWvKqM6e2KmNE/+yHZXMGG?= =?iso-8859-1?Q?p90nY0UOjrpT6kZfqPVm2FrOEP9KTg6N9qG5x3ZTKSBwxJQg6FWd63be+N?= =?iso-8859-1?Q?A7kGBz3i6H4sOzdZxoPQJVXQZfxSdowWvK9MjyqPsyf8g8rFKr8lGxEAta?= =?iso-8859-1?Q?+/SFbhVeqNANLGcUD68R/sjLDAmcZfVKD9SLi3CQKF2HL0zR6oEev7XkVV?= =?iso-8859-1?Q?coPrwk3WexX6NeCJLxNK81s2pgj3jVdDq4LqeuW7rOdJjHFLPXOsFsDT1k?= =?iso-8859-1?Q?QZjetW8LlrQubRm5WfxOrQUMi+PaxEw/FYcTB+wDURc+uqOdIcXASpub0j?= =?iso-8859-1?Q?Y2vvQaib/zyr0/NWtg7cPOUVZ2afWIOk2O4AJJwy3wfS/3mmyXxCnlyNUa?= =?iso-8859-1?Q?aCi3gxuHMTFMI04VFK5ziYB26Yby7LEeXB4ETbldrfTojYjsbXSgj69i2z?= =?iso-8859-1?Q?gIWAIkV1GcZ4QWFl/HS3jDw5RtrK8aB+gjYFJ2IPyi/54iBNkQKjGmOTqj?= =?iso-8859-1?Q?TCuXzl+A3GsBplmuDSzrwHU/Gx2larlSzf/ReyMn+ESN5bIVL+OWLgg/jB?= =?iso-8859-1?Q?iVN/wZNSuYUE9jG2WQth4PD9ccMY13JFuWumQ7S3qbLLZxjd3B4wiLI95K?= =?iso-8859-1?Q?Dxl/QVJjvuYoJxD4xs7NAM1kuI4G78ZtjNd48+EtRBZWwK21KFLmy0+q5c?= =?iso-8859-1?Q?bPIm8ygMIIVG+YykOquenObu1KJz7XczYWrOPDi1a1EUGRE2z92lgKsWmG?= =?iso-8859-1?Q?CFuQ=3D=3D?= Content-Type: multipart/alternative; boundary="_000_PAZP264MB2848F2C265ED77770002B0E7C3719PAZP264MB2848FRAP_" MIME-Version: 1.0 X-OriginatorOrg: lexifi.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: PAZP264MB2848.FRAP264.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: 7624b5ab-85bc-4861-5d3c-08d9bc9ba01c X-MS-Exchange-CrossTenant-originalarrivaltime: 11 Dec 2021 11:44:44.1115 (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: bJojVuJeaWoYZFuMkAU8awzwbB3RkOC2HvWO8d2truDukbxKgCCiIkqANcdrqOFdxrSqf8jDQ/6umx2TYT8cUg9pUs1iJFOKxBC3X1+v1m0= X-MS-Exchange-Transport-CrossTenantHeadersStamped: PAZP264MB2720 Subject: RE: [Caml-list] ocamldep and stdlib Reply-To: =?iso-8859-1?Q?Nicol=E1s_Ojeda_B=E4r?= X-Loop: caml-list@inria.fr X-Sequence: 18626 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --_000_PAZP264MB2848F2C265ED77770002B0E7C3719PAZP264MB2848FRAP_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Dear David, In general these kinds of questions are better asked in https://discuss.oca= ml.org/. You you will get more and faster answers there. Regarding your question, removing the `-I` flag will probably fix your prob= lem. Very briefly, the standard library is now "wrapped", which means using= prefixed filenames for the compilation artifacts in order to implement a f= orm of namespacing. The problem is that `ocamldep` does not have good suppo= rt for these kinds of libraries. In any case, declaring explicit dependenci= es to the standard library is not normally necessary as it only changes whe= n OCaml itself is updated. If you have further questions, I encourage you to ask them at Discuss, as m= entioned above. Cheers, Nicolas ________________________________ De : caml-list-request@inria.fr de la part de = David E. Narvaez Envoy=E9 : vendredi 10 d=E9cembre 2021 22:37 =C0 : caml-list@inria.fr Objet : [Caml-list] ocamldep and stdlib CAUTION: This email originated from outside of the organization. Do not cli= ck links or open attachments unless you recognize the sender and know the c= ontent is safe. Greetings, I am fairly inexperienced with OCaml but I have inherited a Makefile from a project, and it uses ocamldep in a way that is equivalent to the following example: $ cat hello.ml module StringSet =3D Set.Make(String) ;; module StringMap =3D Map.Make(String) ;; $ ocamldep -I /usr/lib64/ocaml/ hello.ml hello.cmo : \ /usr/lib64/ocaml/string.cmi \ /usr/lib64/ocaml/set.cmi \ /usr/lib64/ocaml/map.cmi hello.cmx : \ /usr/lib64/ocaml/string.cmx \ /usr/lib64/ocaml/set.cmx \ /usr/lib64/ocaml/map.cmx The problem is those dependency files do not exist, instead I have these files: $ ls -1 /usr/lib64/ocaml/*{string,set,map}.cm[ix] /usr/lib64/ocaml/stdlib__map.cmi /usr/lib64/ocaml/stdlib__map.cmx /usr/lib64/ocaml/stdlib__set.cmi /usr/lib64/ocaml/stdlib__set.cmx /usr/lib64/ocaml/stdlib__string.cmi /usr/lib64/ocaml/stdlib__string.cmx I have noticed that I do not get incorrect filenames (in fact, any filename= s) if I do not specify the location of the ocaml libraries: $ ocamldep hello.ml hello.cmo : hello.cmx : but I was hoping I did not have to change the call in the Makefile. I have tested this in OCaml 4.09.0 and 4.12.1. Is this a bug? or what is th= e correct way of using ocmaldep in this case? Thanks in advance for your help. -- David E. Narvaez --_000_PAZP264MB2848F2C265ED77770002B0E7C3719PAZP264MB2848FRAP_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
Dear David,

In general these kinds of questions are better asked in https://discuss.ocaml.= org/. You you will get more and faster answers there.

Regarding your question, removing the `-I` flag will probably fix your prob= lem. Very briefly, the standard library is now "wrapped", w= hich means using prefixed filenames for the compilation artifacts in order to implement a form of namespacing. The problem is that= `ocamldep` does not have good support for these kinds of libraries. In any= case, declaring explicit dependencies to the standard library is not norma= lly necessary as it only changes when OCaml itself is updated.

If you have further questions, I encourage you to ask them at Discuss, as m= entioned above.

Cheers,
Nicolas

De : caml-list-request@in= ria.fr <caml-list-request@inria.fr> de la part de David E. Narvaez &l= t;den9562@rit.edu>
Envoy=E9 : vendredi 10 d=E9cembre 2021 22:37
=C0 : caml-list@inria.fr <caml-list@inria.fr>
Objet : [Caml-list] ocamldep and stdlib
 
CAUTION: This email originated from outside of the= organization. Do not click links or open attachments unless you recognize = the sender and know the content is safe.


Greetings,

I am fairly inexperienced with OCaml but I have inherited a Makefile from a=
project, and it uses ocamldep in a way that is equivalent to the following<= br> example:

$ cat hello.ml
module StringSet =3D Set.Make(String) ;;
module StringMap =3D Map.Make(String) ;;
$ ocamldep -I /usr/lib64/ocaml/ hello.ml
hello.cmo : \
    /usr/lib64/ocaml/string.cmi \
    /usr/lib64/ocaml/set.cmi \
    /usr/lib64/ocaml/map.cmi
hello.cmx : \
    /usr/lib64/ocaml/string.cmx \
    /usr/lib64/ocaml/set.cmx \
    /usr/lib64/ocaml/map.cmx

The problem is those dependency files do not exist, instead I have these files:

$ ls -1 /usr/lib64/ocaml/*{string,set,map}.cm[ix]
/usr/lib64/ocaml/stdlib__map.cmi
/usr/lib64/ocaml/stdlib__map.cmx
/usr/lib64/ocaml/stdlib__set.cmi
/usr/lib64/ocaml/stdlib__set.cmx
/usr/lib64/ocaml/stdlib__string.cmi
/usr/lib64/ocaml/stdlib__string.cmx

I have noticed that I do not get incorrect filenames (in fact, any filename= s)
if I do not specify the location of the ocaml libraries:

$ ocamldep hello.ml
hello.cmo :
hello.cmx :

but I was hoping I did not have to change the call in the Makefile.

I have tested this in OCaml 4.09.0 and 4.12.1. Is this a bug? or what is th= e
correct way of using ocmaldep in this case?

Thanks in advance for your help.

--
David E. Narvaez


--_000_PAZP264MB2848F2C265ED77770002B0E7C3719PAZP264MB2848FRAP_--