From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 F1F967F3AB for ; Fri, 31 Jan 2020 14:08:08 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=francois.bobot@cea.fr; spf=Pass smtp.mailfrom=francois.bobot@cea.fr; spf=None smtp.helo=postmaster@cirse-smtp-out.extra.cea.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=pra; client-ip=132.167.192.148; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of francois.bobot@cea.fr designates 132.167.192.148 as permitted sender) identity=mailfrom; client-ip=132.167.192.148; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; 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@cirse-smtp-out.extra.cea.fr) identity=helo; client-ip=132.167.192.148; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@cirse-smtp-out.extra.cea.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A/z1bmhNehIiHZ8bgqUEl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Ivz5rarrMEGX3/hxlliBBdydt6sYzbaO+Py8ESxYuNDd6StEKMQNHzY+yu?= =?us-ascii?q?wu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9?= =?us-ascii?q?Kev6AJPdgNqq3O6u5ZLTfx9IhD2gar9uMRm6twrcutQZjId4Jas91hTFr3RHdu?= =?us-ascii?q?9LwW9kOU+fkwzz68ut8pNv6Thct+4k+8VdTaj0YqM0QKBCAj87KW41/srrtRfC?= =?us-ascii?q?TQuL+HQRV3gdnwRLDQbY8hz0R4/9vSTmuOVz3imaJtD2QqsvWTu+9adrSQTnhz?= =?us-ascii?q?kBOjUk7WzYkM1wjKZcoBK8uxxyxpPfbY+JOPZieK7WYNUXTndDUMlMTSxMGp6y?= =?us-ascii?q?YZUBD+QBPuhWoYfyqFQMohSiCgehH//vxzxSi3PqwaE33eYsHAfb1wIgBdIOt3?= =?us-ascii?q?HUoc31OqcIS++1yrHPzTLCb/NNwTjw9Y/IfQsmofGQQLl9dsTRyVM1GAPDklqQ?= =?us-ascii?q?ro3lPyiP2usWtGiU9O1gVf60hmE7tQ5+uCKjxsk2ioTQgI8e11PK9T1hzYooK9?= =?us-ascii?q?C0VlR3bcOlHZZSrS2WKo97Tt04T211tys3yaUKtYO1cSQU0pgr2h/SZv2df4SV?= =?us-ascii?q?5h/vSvydLSpmiH9jZbmxnQy98VK6xe35TsS00EhFri5CktTUqn8N1gbT6tOZRf?= =?us-ascii?q?dk5Ueh3CqP1xjK5uFDPEA0ibDXJIAuw74sjJocq17PETPol0rslqOWeF8k9vCp?= =?us-ascii?q?6+ThfLrmuoeRO5J6hw3gKKgih82yDOYiPgQTW2WX5/6w2KDs8ED6WLlKi+c5kq?= =?us-ascii?q?jdsJDUP8Qboau5Dhdb0oY58Rm/CSup0NMZnXkcNl5KYxWHgJPuO1HSO/33Eemw?= =?us-ascii?q?jE62nDdl3fDKJqfhDYnVLnjfjLfheq5w5FJGxwo2ydBT/pZUCrAaIPLvQULxr9?= =?us-ascii?q?zZDhohMwOu2ernCdN91pkfWW2VGKOZPrnS4he04bckKuyIIYsUoyrVKv4/5veo?= =?us-ascii?q?g2Vqt0UaePyHx5IR53e5BcNMJE+efTK4jM0IF2wNvxF4Ruvgj0GqWjNaIXioCf?= =?us-ascii?q?FvrgonAZ6rWN+QDrumh6aMiX/iT89mI1teA1XJKk/GMoCNWvMCciWXcp1qnzVC?= =?us-ascii?q?W6LzEtZ8hyHrjxfzzv9cFsSR+iAcssiyhtN0/fbe0Ao36SQxCNmBlWydU3t92G?= =?us-ascii?q?gFTnk4xvIn+BAv+hK4yaF9xsdgO5lL/foZAAw3PNjS1b4iBg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BxBgBbJjReh5TAp4RlHAEBAQEBBwEBE?= =?us-ascii?q?QEEBAEBgXsCg2kxhD6JA4YIghGDbpVQgXoJAQMBDC0CAQGEQAKCLxwHAQQ2BA0?= =?us-ascii?q?CEAEBBAEBAQIBAgMEARMBAQEIDQkIKYVKgjsigwoBAgIBIw8BSwsLGgImAgJXE?= =?us-ascii?q?wgBAYMiglwgrSaBMoVKg2+BBIEOKgGMH4IagTiCPi4+hDxagkOCXgSOD6FRB4F?= =?us-ascii?q?BfZY5IY52jA+qIIFsDYFqTSdMgm1PGA2ONx6OD0EBgTmLAIJBAQE?= X-IPAS-Result: =?us-ascii?q?A0BxBgBbJjReh5TAp4RlHAEBAQEBBwEBEQEEBAEBgXsCg2k?= =?us-ascii?q?xhD6JA4YIghGDbpVQgXoJAQMBDC0CAQGEQAKCLxwHAQQ2BA0CEAEBBAEBAQIBA?= =?us-ascii?q?gMEARMBAQEIDQkIKYVKgjsigwoBAgIBIw8BSwsLGgImAgJXEwgBAYMiglwgrSa?= =?us-ascii?q?BMoVKg2+BBIEOKgGMH4IagTiCPi4+hDxagkOCXgSOD6FRB4FBfZY5IY52jA+qI?= =?us-ascii?q?IFsDYFqTSdMgm1PGA2ONx6OD0EBgTmLAIJBAQE?= X-IronPort-AV: E=Sophos;i="5.70,385,1574118000"; d="scan'208";a="337655318" X-MGA-submission: =?us-ascii?q?MDGpokOToWVw8jef1Hkio9RBpj1AvtaSVT+toh?= =?us-ascii?q?A/tKc1qxP22YB9ptFAqLRz6oVepRY0vDAj4jF018gkUtSOFeWWdAg6ex?= =?us-ascii?q?/F1X/XEKdWjqoPNZivKebjjWpNbnFxPnAlX32uWN53WejvOiPcDw3n8e?= =?us-ascii?q?NfjsAcZaf/meyarC2ZqOAwIw=3D=3D?= Received: from cirse-smtp-out.extra.cea.fr ([132.167.192.148]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 31 Jan 2020 14:08:08 +0100 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by cirse-sys.extra.cea.fr (8.14.7/8.14.7/CEAnet-Internet-out-4.0) with ESMTP id 00VD86fD026427 for ; Fri, 31 Jan 2020 14:08:07 +0100 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id B2B9F207737 for ; Fri, 31 Jan 2020 14:08:07 +0100 (CET) Received: from muguet1-smtp-out.intra.cea.fr (muguet1-smtp-out.intra.cea.fr [132.166.192.12]) by pisaure.intra.cea.fr (Postfix) with ESMTP id A8E2E2016FC for ; Fri, 31 Jan 2020 14:08:07 +0100 (CET) Received: from [10.8.35.70] (is231141.intra.cea.fr [10.8.35.70]) by muguet1-sys.intra.cea.fr (8.14.7/8.14.7/CEAnet-Internet-out-4.0) with ESMTP id 00VD864a017671 for ; Fri, 31 Jan 2020 14:08:07 +0100 To: caml-list@inria.fr References: From: =?UTF-8?Q?Fran=c3=a7ois_Bobot?= Message-ID: <73779f13-b8da-ca44-0f9e-b1e48ec846e4@cea.fr> Date: Fri, 31 Jan 2020 14:08:06 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.4.1 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] (dune/opam) Proper way of vendoring a library inside an application? Le 31/01/2020 à 09:48, François Pottier a écrit : > I am trying to figure out how to "vendor" (embark) a private > copy of a library inside a project. (Concretely, I would like > to vendor Fix inside Menhir.) I want this fact to remain > invisible, that is, installing Menhir should not result > in installing or upgrading the user's public copy of Fix. > > I have copied the source tree for Fix inside the source tree > for Menhir, and added a (vendored_dirs fix) stanza in Menhir's > toplevel "dune" file. > I am confused... what's the proper way of embarking a private > library inside an application without installing it globally? Will Fix be used for MenhirLib? It is just to understand the impact on users of the library. Best, -- François