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 E7F875D6 for ; Thu, 8 Aug 2019 17:48:16 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,362,1559512800"; d="scan'208";a="394882819" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Aug 2019 19:48:11 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 82A2D7ED23; Thu, 8 Aug 2019 19:48:11 +0200 (CEST) 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 07BFB7EC74 for ; Thu, 8 Aug 2019 19:48:06 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hendrik@topoi.pooq.com; spf=None smtp.mailfrom=hendrik@topoi.pooq.com; spf=None smtp.helo=postmaster@april.topoi.pooq.com IronPort-PHdr: =?us-ascii?q?9a23=3ATmsvLRJqSHmwYsXAF9mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRKP/xwZ3uMQTl6Ol3ixeRBMOHsqgC0rOL+Pm5ByQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagf79+Ngi6oRjRu8UZnIduN6c8wQbVr3VVfO?= =?us-ascii?q?hb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnY?= =?us-ascii?q?UAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhS?= =?us-ascii?q?waMTMy7WPZhdFqjK9DrhyvpwJxzZPXboGbO/VxYr7SctEUSmdaQsZdSzZMDp+g?= =?us-ascii?q?Y4YVEeYMO/tToYnnp1sJqBuzHQuiC/3pyjBVnH/23K462Pk8HAHB2wwgGs8FvX?= =?us-ascii?q?PUrNrrMqcdTPq1zKjLzTjYc/NW3i/96I/Jchw7ufGMWrVwcdPLxUYzEAPFi0yd?= =?us-ascii?q?pIr4ND2WzuQAq2mW4u56We6yimMqqxt9riWhy8sxkIXFm4wYx1/C+C5k2og6P8?= =?us-ascii?q?e4R1R+YdO8EJtfqSWaN4xuT8w4W2Fooic6yrkctZ6neygK0JMnxx/FZ/yfdIiI?= =?us-ascii?q?5QvjWPyNLjd/gXJpYLO/hxCs/ki80uDxV8253ExXoidEktTArG0B2hLO5sSdV/?= =?us-ascii?q?dw8Eis1S6K1w/J6+FEJU40lbDcK54k2rMwloQcsULeES/smUX2j7Sbdlkj+uiw?= =?us-ascii?q?7OTnY6/qpoebN49zkwHyKLghmsu6AeggKAgBQ3Cb+fig1L3k5UD2XK9Fjvgykq?= =?us-ascii?q?XAtJDaJN8bprKiDg9O0ocj7g6/AC283NQZm3kHNlNFdwidg4jnIVGdaMz/WPy2?= =?us-ascii?q?hlDplDZw29jHOKfgC9PDNCvtirDkKJZw7UJGyQl759dY4toACrwHLOjyWWfts8?= =?us-ascii?q?TfD1khNAuthe3gDYMuhcslRWuTD/rBY+vpuliS67d3erTeVMouoD/4bsMdybvu?= =?us-ascii?q?gHs+wwVPdLGz3J9RdHegGfUgO0KeeDznhdJTST5W7Dp7d/TjjRi5aRAWf2y7Bv?= =?us-ascii?q?xu+jYjD4PgFYDEX8amh7nThH7qTK0TXXhPDxW3KVmtcoyFX/kWbyfLfJ19lSQD?= =?us-ascii?q?VP65TIg4kxqpsV2ixg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D9AwBKX0xd/4aDpUVmHQEBBQEHBQGBZ?= =?us-ascii?q?4NWIRKEAIlEiDebCQkBAwE4AQIBAYQ/AoJxBgY0EwEEAQEEAQEEAQMHAWyFM4I?= =?us-ascii?q?6IoJvAQU6TwsYCSUPHSuFRq05hUmDPIFJgTSLe4F/hCM+hRGFFgSrOgmCH2KTO?= =?us-ascii?q?wwbdIEslhanWCGBWDMaCBsVO4JtkSEmgTYBAYwLAQE?= X-IPAS-Result: =?us-ascii?q?A0D9AwBKX0xd/4aDpUVmHQEBBQEHBQGBZ4NWIRKEAIlEiDe?= =?us-ascii?q?bCQkBAwE4AQIBAYQ/AoJxBgY0EwEEAQEEAQEEAQMHAWyFM4I6IoJvAQU6TwsYC?= =?us-ascii?q?SUPHSuFRq05hUmDPIFJgTSLe4F/hCM+hRGFFgSrOgmCH2KTOwwbdIEslhanWCG?= =?us-ascii?q?BWDMaCBsVO4JtkSEmgTYBAYwLAQE?= X-IronPort-AV: E=Sophos;i="5.64,362,1559512800"; d="scan'208";a="315957617" X-MGA-submission: =?us-ascii?q?MDEx6wmCHFIwUbiVQjAFjSO6O5krSFCsj29YhD?= =?us-ascii?q?AXK/nkPc5LZE/ke6f2Y6hqjUv30WIL+J6KPLEkco4+kwL2soI6pNd/RQ?= =?us-ascii?q?f3H67Y1bgC46m2AJQKRanuoU92rfVdAAvlbE5wB1VYGZX7GVYWh27N2Z?= =?us-ascii?q?dRN+98CkpuR7kwJQ/WdkwXKA=3D=3D?= Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134]) by mail3-smtp-sop.national.inria.fr with ESMTP; 08 Aug 2019 19:48:04 +0200 Received: by april.topoi.pooq.com (Postfix, from userid 1001) id 91444C2267; Thu, 8 Aug 2019 13:48:02 -0400 (EDT) Date: Thu, 8 Aug 2019 13:48:02 -0400 From: Hendrik Boom To: caml-list@inria.fr Message-ID: <20190808174802.7ticjmzgcgvjxvlc@topoi.pooq.com> References: <20190731211816.x5vj472m34cshifj@matica.foolinux.mooo.com> <20190806184710.7zlxt2amae2tsg3w@matica.foolinux.mooo.com> <20190807203214.6jkj2ygi5vcad4to@matica.foolinux.mooo.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: NeoMutt/20170113 (1.7.2) Subject: Re: [Caml-list] opam and dune [Was: How to use -map] Reply-To: Hendrik Boom X-Loop: caml-list@inria.fr X-Sequence: 17744 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 Thu, Aug 08, 2019 at 08:38:38AM +0700, Rudi Grinberg wrote: > For now the .opam file needs to be in version control. It's not ideal that > we need to check in generated files, so hopefully this problem will be > addressed in opam. If this truely bothers you, you can always disable the > opam file generation and write your opam file manually. Is this a bootstrapping issue? If so, having a generated file in version control is likely an inevitability. -- hendrik