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 586657EC77 for ; Mon, 3 Feb 2020 11:27:11 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jdimino@janestreet.com; spf=Pass smtp.mailfrom=jdimino@janestreet.com; spf=None smtp.helo=postmaster@mxout1.mail.janestreet.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jdimino@janestreet.com) identity=pra; client-ip=38.105.200.78; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of jdimino@janestreet.com designates 38.105.200.78 as permitted sender) identity=mailfrom; client-ip=38.105.200.78; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; 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@mxout1.mail.janestreet.com) identity=helo; client-ip=38.105.200.78; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="postmaster@mxout1.mail.janestreet.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AP/yh6xfWmJJbFtedAV7Vs03/lGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcS8Zx7h7PlgxGXEQZ/co6odzbaP7+a8BidZut7B6ClELMUXEUddyI?= =?us-ascii?q?0/pE8JOIa9E0r1LfrnPWQRPf9pcxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0Iu?= =?us-ascii?q?frymUoHdgN6q2O+s5pbdfxtHhCanYbN1MR66sRjdutMZjId/Jas90BTEr3lHd+?= =?us-ascii?q?hLy25jOFafkwrh6suq85Nv7ipdt+g9+8JcVKnxYrg1Q6FfADk6KW4++dfltQPE?= =?us-ascii?q?TQuB53scVnsZnx9VCAXb7x/0Q4n8vDLiuuVyxCeVM8v2TaspWTu59KdkVAXoiC?= =?us-ascii?q?YcODEn9mzcl9F9g7haoBKloBx/3pLUbYSIP/dwYq/RYdUXTndHU81MVSJOH5m8?= =?us-ascii?q?YpMAAOoPP+lWr4fzqVgToxWgGQaiC/jiyiNRhnLswaE2z/gtHAPA0Qc9H9wOqn?= =?us-ascii?q?PUrNDtOakWT++11rfHzTDCb/xIxDzz5onIchUgofGKWrJ7bM3cyUsyGAPEi1WQ?= =?us-ascii?q?qIrlPzSO2+QPqWeb6fRvVfmzi249tQ5+vCSvyt0whYnOg4IY01bJ/jh6zoYtPd?= =?us-ascii?q?C1Rk12bcS5HJdMtyyWLZV6Tt8+T21yuis3yaUKtYCncCUO0pgqxB7SZ+aZf4SU?= =?us-ascii?q?4R/vTuScLSp+iXl4YrywnQyy/lKlyuDkVsm7zlJKri1dn9nJuXEN0AHT6tSaRv?= =?us-ascii?q?dn+0euwzeP1wTJ5uFGO080k7TUK4U9wr4qiJUcr1jDEjXql0Xxia+abkQk+u62?= =?us-ascii?q?5OT7erjrqJyRO5Vphg3iMqkigNKzDfgkPgQUXWWW+vyw1Lj58k34RLVKgOc2kq?= =?us-ascii?q?7csJ3CJ8QUu6+5AwpU0oYl7BayFDWm384enXYZN1JFZAiHgJb3NFHSOvz3EfC/?= =?us-ascii?q?g1G0nDdx2//GJqHhAonKLnXbjLjuZ7N960pFxAo3zNBf/I5UB6oaIPPzX0/xrM?= =?us-ascii?q?bXAgU4Mwyy2ebnCc9y2pkQWWKVUeelN/aYv0WB4OkoIvLKfIgJpDfwMdAk4eTv?= =?us-ascii?q?hDk3gxVVKaez1J0cb3GjWOxhP1mYbGDEg9EbEG5MsBBoCKThgViGGSNIamypF/?= =?us-ascii?q?Y37zQ/TYanFpvrR4a3gbXH0j3tTbNMYWUTKF2WHHLpes2oWvINbiXads1tkzkF?= =?us-ascii?q?U7+JSYYn2AqyrgL31/xsKe+CqX5Qjo7qyNUgv76brho17zEhV53MgVHIdHl9my?= =?us-ascii?q?YzfxFz2al+pUJnzVLaj/p6ivpVDsBJ6v5VFAw9MMyFlrEoO5XJQgvEO+yxZhOm?= =?us-ascii?q?T9GhW2FjS8I23sNXJUN0GtHkjBnF0jG2GbIYi/qAA5lmqvuAjUi0HN50zjP97I?= =?us-ascii?q?dkl0MvG5UdN2Sgi7Vj7QXeG8jClEDLz6s=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D1BABA9DdefU7IaSZlHQEBAQkBEQUFA?= =?us-ascii?q?YF7AoNoMiqEFI8LghGPaItQCQEDAQwvAQGEQAKCMxwHAQQ1BQ0CEAEBBAEBAQI?= =?us-ascii?q?BAgMEARMBAQkWCIVnDII7IoMKAQEBAxIRHQEBOA8LCw0CAiYCAiISAQUBHAYBE?= =?us-ascii?q?iKGAAOfAIEEPYsogTKCfwEBBYV7gTUJEnwqjCAagUE/gUeCLy4+h1uCXq9mgkW?= =?us-ascii?q?WQBuCOAGYT45hmzMPI4FHgXkzGggbFTsxBoI1UBgNjh04gzuKU0EzjwkBAQ?= X-IPAS-Result: =?us-ascii?q?A0D1BABA9DdefU7IaSZlHQEBAQkBEQUFAYF7AoNoMiqEFI8?= =?us-ascii?q?LghGPaItQCQEDAQwvAQGEQAKCMxwHAQQ1BQ0CEAEBBAEBAQIBAgMEARMBAQkWC?= =?us-ascii?q?IVnDII7IoMKAQEBAxIRHQEBOA8LCw0CAiYCAiISAQUBHAYBEiKGAAOfAIEEPYs?= =?us-ascii?q?ogTKCfwEBBYV7gTUJEnwqjCAagUE/gUeCLy4+h1uCXq9mgkWWQBuCOAGYT45hm?= =?us-ascii?q?zMPI4FHgXkzGggbFTsxBoI1UBgNjh04gzuKU0EzjwkBAQ?= X-IronPort-AV: E=Sophos;i="5.70,397,1574118000"; d="scan'208";a="337855869" X-MGA-submission: =?us-ascii?q?MDFKE2bQrFQ+gdncnJ+KHn8XQV8zJM9I+s4eig?= =?us-ascii?q?exQdcH39CgqySJj06a2m3m61HrEGE2K1OYi9Bgol7dKwrNZHnbgl+rrm?= =?us-ascii?q?rZrW02rHbSic2g9dGao51k/gbM66bXP8uN8Is5BESVDU30inQWv7lxJh?= =?us-ascii?q?QID9puJPH6w3kJWxwSDbE7cA=3D=3D?= Received: from mxout1.mail.janestreet.com ([38.105.200.78]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 03 Feb 2020 11:27:10 +0100 X-JS-Received: from [30.32.81.38] (helo=igm-qpr-mailcore1) by mxout1.mail.janestreet.com with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92.2) (envelope-from ) id 1iyYwe-00021d-Rr for caml-list@inria.fr; Mon, 03 Feb 2020 05:27:08 -0500 X-JS-Flow: external X-JS-Received: by igm-qpr-mailcore1 with ocaml/mailcore/main_production (e074d92d28d4) (envelope-from ) id BeN_V8-phM94A-aK; 2020-02-03 05:27:08.846834-05:00 X-JS-Scanner-attachment: No attachments X-JS-Scanner-esets: Not scanned (internal mail) Received: from mail-ed1-f71.google.com ([209.85.208.71]) by mxgoog2.mail.janestreet.com with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.92.2) id 1iyYwe-0004QO-Nc for caml-list@inria.fr; Mon, 03 Feb 2020 05:27:08 -0500 Received: by mail-ed1-f71.google.com with SMTP id cq10so9948663edb.5 for ; Mon, 03 Feb 2020 02:27:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :content-transfer-encoding; bh=e5ddCDZDckx/3VV6nO95fsh3VoeFAZ542tsuG4JWwvo=; b=e0eBulrJKWOLQeu3ui9tBNon9u87iR3FcN9nSqnWOS2KO/A6jq38UIJPFb6F1nM7Sk sbR9MozHd3FzjdW+QwwxvIdB/0PHEaFTtQSLplcl1sqCoubP80Ji6XthTendG57m7n0+ LUWZAkQL2nMx5lonfYH06TCmCQIlSznd1+xRw= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:content-transfer-encoding; bh=e5ddCDZDckx/3VV6nO95fsh3VoeFAZ542tsuG4JWwvo=; b=DTT7UeKEuTnnZhLyNYyFFn5AsYAPRasy7ZCSLZVxNm1M88YIwjPAgNfp3FK9HtvWqz +4tNg3LjER72Rk3EwNp/lI2/kRMhC7H/uRDDEKfvxXvtTpqMAZteyyUTZF+TfVQZc2LX 3H7A8kmCB3T4ZBoFl1ftXrSw4LqpsQdNzwrmEGTSUUktQ26wMn82o467D9AVbGp+KJ1W pKHhpbZtp2fOYziLKQFIQEE/mVXfqbIVACsRuZ0ISPyyVN4BX2FeBDqKZiQt59ejCIk9 LunTyYHHPVbId7SX18GMmVcKh0VqyMrgZxxDOUbH5Sqd5J8i8Vz6gwdF8+PhVepDaF7o 2RNQ== X-Gm-Message-State: APjAAAXzdqZ4HiF1fGZBcV+ZUyiSkh2Ve1Y3UjO6m+NvK3+pMK2EshC9 Zxf6rAA8FsYuGSqwVCaC+OCYmH5XuqybJTOXr8yxKy2fNMFHMmP4gCXOo8HGsaOl+AJAJrrpwT/ UB4+W279K6x4Y1hdGEOlkLFYGtA== X-Received: by 2002:a17:906:8388:: with SMTP id p8mr20656830ejx.358.1580725627754; Mon, 03 Feb 2020 02:27:07 -0800 (PST) X-Google-Smtp-Source: APXvYqwxtY3x0iCskf+5ZwosXzNh//N1pydFiHmZ9GasEmTt7I2cQV0Eb3TsprnfozbMIgvqU8jNF89Fxiu+GciN8NM= X-Received: by 2002:a17:906:8388:: with SMTP id p8mr20656820ejx.358.1580725627549; Mon, 03 Feb 2020 02:27:07 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Jeremie Dimino Date: Mon, 3 Feb 2020 10:26:56 +0000 Message-ID: To: "francois.pottier@inria.fr" , caml users Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-JS-Exim-Data-Received: 2020-02-03 05:27:08-0500 X-JS-Processed-by: mailcore Subject: Re: [Caml-list] (dune/opam) Proper way of vendoring a library inside an application? Hi Fran=C3=A7ois, On Fri, Jan 31, 2020 at 8:48 AM Fran=C3=A7ois Pottier wrote: > * "dune install" installs Menhir *and Fix*, though I would like > it to install Menhir only. > > * Attempting to pin Menhir using "opam pin" fails because opam > cannot find Fix (inded, Fix is not globally installed). These look like bugs in Dune, we'll fix them for the next release. Cheers, Jeremie