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 D26845D5 for ; Mon, 3 Feb 2020 23:13:31 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,398,1574118000"; d="scan'208";a="434282390" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 Feb 2020 00:13:30 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id B6F3A7F3B1; Tue, 4 Feb 2020 00:13:30 +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 9A1897EC77 for ; Tue, 4 Feb 2020 00:13:22 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jdimino@janestreet.com; spf=Pass smtp.mailfrom=jdimino@janestreet.com; spf=None smtp.helo=postmaster@mxout5.mail.janestreet.com IronPort-PHdr: =?us-ascii?q?9a23=3AnbsM5R+eRhNTY/9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?1eocTK2v8tzYMVDF4r011RmVBNmdt6IP07ee8/i5HzBZutDZ6DFKWacPfidNsd?= =?us-ascii?q?8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVv?= =?us-ascii?q?O+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oIxi6sArcutMZjIZhJao91hvEqWZMd+?= =?us-ascii?q?hK2G9kP12ekwvy68uq4JJv7yFcsO89+sBdVqn3Y742RqFCAjQ8NGA16szrtR3d?= =?us-ascii?q?QgaK+3ARTGYYnAdWDgbc9B31UYv/vSX8tupmxSmVJtb2QqwuWTSj9KhkVhnlgz?= =?us-ascii?q?oaOjEj8WHXjstwjL9HoB+kuhdyzZLYbJ2TOfFjZa7WY88USnRdUcZQTyxBA52z?= =?us-ascii?q?b40TD+oaIO1Uq5Dxq0YSoReiAAWhAv7kxD1ViX/sxaA13OohHgPG0gIuHNwArW?= =?us-ascii?q?rao8n6OqoJTeC11bPFwSnfY/9K2zrw7pXDfBA7ofGLWLJ9ac7fxlc1Fwzbi1WQ?= =?us-ascii?q?qJLqNC6b2OQMtmib7uxgVeWygGMgqQF+vzmvxsItionPgYIY0VLE+j9/wIkrPt?= =?us-ascii?q?24VFR7bsC6H5tMrS2VK4x2QsY7TmxupS00yaUGtIa6cSUF0pgr2QPTZvydf4SW?= =?us-ascii?q?7B/uWvydLSp7iX59Zr6zmxK//VKjx+D8TMW4zkpGoylfntTOqHwA0QHY5NKdRf?= =?us-ascii?q?tn5Eih3C6C1wDN5eFAJkA5ja/bKpEmwr4tipoesV7PHirsl0X3iK+abEck9fKu?= =?us-ascii?q?6+v5ebXmuoWcOJFqhQHiKKghhsu/AeEgPggPWWiU5/i82aXi8ED2WrlGkOA6n6?= =?us-ascii?q?nDvJzEK8kWqLS1DxJW34o77hawFTam0NAWnXkdK1JFfQqKj4r0NFHPJfD4DPG/?= =?us-ascii?q?g1O3nTdp3f/GOKPuAo7RLnjZjrjuY6p951RAxwo0yNBT/4hUBa0ZIPLvRk/xs8?= =?us-ascii?q?TVAQMjPAyxx+brEdF91oIFWWKTGaKZK6PTsVqQ5u01OeWMZYkVuCz8K/c//fLu?= =?us-ascii?q?g2U5yhchevyHx5IR53e5BcNeJFmFYHf2yoMPC24MtQ0/V6ryj0GeUDNJT3e0Ra?= =?us-ascii?q?M1oD8hXtGIF4DGE6KgmrGE3SrzMpxTZ2ZBQgSOHXbtdoODc/UFbi+JPtVsnyBC?= =?us-ascii?q?Xr+kHdxynSqyvRP3nuI0ZtHf/TcV4Ne6jIAsur/j0Coq/DkxNPyzlmGAS2Yuzj?= =?us-ascii?q?ENVzgrwP05pEV8zhGB2K51mOBCGNFPofhOV1VibM+O/6lBE9n3Hzn5UJKMQVei?= =?us-ascii?q?TM+hBGhvHNA4xdIVf1xwFsnkhRfGjXPzX+0l0oeTDZlxyZrymmDrLp8jmXTP0q?= =?us-ascii?q?Q6k0MrT9cJPmqj1PZy?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DwAwDPpzhefRLp10BlHgELHIVlMiqEF?= =?us-ascii?q?I8QghGPaItQCQEDAQwvAQGEQAKCNBwHAQQ0EwIQAQEEAQEBAgECAwQBEwEBCRY?= =?us-ascii?q?IhWcMgjspAYMCAQEBAxIRHQEBNwEPCwsNAgImAgIiEgEFARwGEyKGAKBFgQQ9i?= =?us-ascii?q?yiBMoJ/AQEFhhGBNQkSfCqMIBqBQT+BR4IvLj6HW4Jer2aCRZZAG4I4AZhPqhQ?= =?us-ascii?q?PI4FGgXozGggbFTsxBoI1UBgNjh04gzuKU0EzjwkBAQ?= X-IPAS-Result: =?us-ascii?q?A0DwAwDPpzhefRLp10BlHgELHIVlMiqEFI8QghGPaItQCQE?= =?us-ascii?q?DAQwvAQGEQAKCNBwHAQQ0EwIQAQEEAQEBAgECAwQBEwEBCRYIhWcMgjspAYMCA?= =?us-ascii?q?QEBAxIRHQEBNwEPCwsNAgImAgIiEgEFARwGEyKGAKBFgQQ9iyiBMoJ/AQEFhhG?= =?us-ascii?q?BNQkSfCqMIBqBQT+BR4IvLj6HW4Jer2aCRZZAG4I4AZhPqhQPI4FGgXozGggbF?= =?us-ascii?q?TsxBoI1UBgNjh04gzuKU0EzjwkBAQ?= X-IronPort-AV: E=Sophos;i="5.70,398,1574118000"; d="scan'208";a="434282381" X-MGA-submission: =?us-ascii?q?MDG53TvH1+Fw67JsQA6d/IZmE7ojsYziRzw5no?= =?us-ascii?q?/5ijUXtjVziFZZR9giL+wgn5aFIyhrrMgSnSA5OaXp0/OZJXmvr/MtCN?= =?us-ascii?q?Nx4PRbAcxSjktZnfdoT+QecF4TYQ/irBq/hK/SaE7Z+IRScUO0V/7kIF?= =?us-ascii?q?SFq2Usu5KrMNDQyhqNkrUw3Q=3D=3D?= Received: from mxout5.mail.janestreet.com ([64.215.233.18]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 04 Feb 2020 00:13:21 +0100 X-JS-Received: from [30.40.81.8] (helo=tot-qpr-mailcore1) by mxout5.mail.janestreet.com with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92.2) (envelope-from ) id 1iyku8-0005kg-Dv for caml-list@inria.fr; Mon, 03 Feb 2020 18:13:20 -0500 X-JS-Flow: external X-JS-Received: by tot-qpr-mailcore1 with ocaml/mailcore/main_production (e074d92d28d4) (envelope-from ) id BeOKkQ-PeldwA-NA; 2020-02-03 18:13:20.424301-05:00 X-JS-Scanner-attachment: No attachments X-JS-Scanner-esets: Not scanned (internal mail) Received: from mail-ed1-f72.google.com ([209.85.208.72]) by mxgoog2.mail.janestreet.com with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.92.2) id 1iyku8-000279-A8 for caml-list@inria.fr; Mon, 03 Feb 2020 18:13:20 -0500 Received: by mail-ed1-f72.google.com with SMTP id ck15so11413634edb.6 for ; Mon, 03 Feb 2020 15:13:20 -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 :cc:content-transfer-encoding; bh=nRv34DQfPg8pb40OYajJ+ijvpIJGTwCPh2aWJMXfjJ8=; b=oJTfnk8sN8D80L+IIGp+G50YCi8cgALyIucHHZSw5QZdrFg2Kcgytmvn3pcKYNZBAC FoVEvsNUIZnKNfk20a1kNprRpQHX0Jw7J+EGN4JJm0QiXzpjzw3tNKlFZKNaz/GvLHXP nbSAsMSY3sxR6xiRDYjQWb/nGrnt8uoUpJpLk= 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:cc:content-transfer-encoding; bh=nRv34DQfPg8pb40OYajJ+ijvpIJGTwCPh2aWJMXfjJ8=; b=lCQZuIxKvkkUm0igA2wh4ml3ZNdT4elFWGhA+7xDutqNjWvPfKhz/l4ZiFzCztT3e4 VlhkSuaq/apW7LK3UJ9PLbmQraICjqE6F2QFieueaEabNtVEgVCDZDfHU5vFolhhvGT0 eaPj8Bxxm0TrAVp4WXqzdwrjZDkuGuQi44azpr2oh5PRPz5A+r/yjvvZSRr+HkavBY0V qsSg0w6506iKtGJf/NbbbXkQ8KBs6bT2UnDVdcFiRDRI3FqFlHKDSGe6EyyugQRy0JdY KuE+fYGQ3GtBcN8vDlJCum2B1yzrcZGfRwltQQsLY0ebRJHtg4GUXgu5kJfSNGmXAXT7 XoHA== X-Gm-Message-State: APjAAAX7uwTwWJa7iYuKeQaoSEfIlbzKLwVhlaaukvqC8bYzxe+WY28O f9oi5AZucMicwrcbDGlV1QXp+NqP77FxoRz2o0/Tu+oKZTUwpuYfSIUP+q3lTu8w0/Vs0sHBDDv hvD8oPe4NSUs00FhQVtJEAN+kvQ== X-Received: by 2002:a17:906:7c5a:: with SMTP id g26mr21960002ejp.249.1580771599209; Mon, 03 Feb 2020 15:13:19 -0800 (PST) X-Google-Smtp-Source: APXvYqzqhk5OkH7JmD4i6Z7XxN5mkjFRNy2RdvzMeytqz1B4SbGy0spnUoI3YUMO6C2oIGQrgewIcWC09k5YS9E3FLw= X-Received: by 2002:a17:906:7c5a:: with SMTP id g26mr21959986ejp.249.1580771598955; Mon, 03 Feb 2020 15:13:18 -0800 (PST) MIME-Version: 1.0 References: <7df93c09-6cda-fae5-d9e4-a915881ba3fa@inria.fr> In-Reply-To: <7df93c09-6cda-fae5-d9e4-a915881ba3fa@inria.fr> From: Jeremie Dimino Date: Mon, 3 Feb 2020 23:13:08 +0000 Message-ID: To: =?UTF-8?Q?Fran=C3=A7ois_Pottier?= Cc: caml users Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-JS-Exim-Data-Received: 2020-02-03 18:13:20-0500 X-JS-Processed-by: mailcore Subject: Re: [Caml-list] (dune/opam) Proper way of vendoring a library inside an application? Reply-To: Jeremie Dimino X-Loop: caml-list@inria.fr X-Sequence: 17980 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: On Mon, Feb 3, 2020 at 2:53 PM Fran=C3=A7ois Pottier wrote: > Thanks! I will try these changes as soon as possible > (I guess I can create a private fork of dune, merge > these PRs, and test?). The PRs have now been merged, testing would be welcome! --=20 Jeremie