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 D72295D4 for ; Sat, 29 Feb 2020 11:20:52 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,499,1574118000"; d="scan'208";a="438151037" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Feb 2020 12:20:51 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3CC447F3EC; Sat, 29 Feb 2020 12:20:51 +0100 (CET) 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 79ABC7F3B1 for ; Sat, 29 Feb 2020 12:20:49 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.70,499,1574118000"; d="scan'208";a="340796707" Received: from bou78-2-82-240-46-163.fbx.proxad.net (HELO MP-41019.local) ([82.240.46.163]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 29 Feb 2020 12:20:49 +0100 To: "Richard W.M. Jones" , caml users References: <20200229084124.GC11122@rich.annexia.org> From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= Message-ID: <7277977a-213a-1c3d-ec70-214e2d248350@inria.fr> Date: Sat, 29 Feb 2020 12:20:48 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:60.0) Gecko/20100101 Thunderbird/60.9.1 MIME-Version: 1.0 In-Reply-To: <20200229084124.GC11122@rich.annexia.org> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] (dune/opam) Proper way of vendoring a library inside an application? Reply-To: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= X-Loop: caml-list@inria.fr X-Sequence: 18031 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: Hi, On 29/02/2020 09:41, Richard W.M. Jones wrote: > As is this is already in opam, what are you trying to achieve here? I want to maintain the property that Menhir depends on no external libraries, as this makes it easier for some people (who do not use opam) to install. Also, this allows me to know exactly which version of fix I am using, so two versions of Menhir that have the same version number are guaranteed to work in the same way; that wouldn't necessarily be true otherwise. I don't see how it could cause any packaging problem; it should be transparent. The copy of Fix embedded inside Menhir is used when Menhir is installed and is immediately thrown away. -- François Pottier francois.pottier@inria.fr http://cambium.inria.fr/~fpottier/