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 21BBD5D5 for ; Fri, 15 Nov 2019 00:32:27 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.68,306,1569276000"; d="scan'208";a="411876200" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Nov 2019 01:32:26 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 205157F396; Fri, 15 Nov 2019 01:32:26 +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 540787F30F for ; Fri, 15 Nov 2019 01:32:17 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=itz@very.loosely.org; spf=Pass smtp.mailfrom=itz@very.loosely.org; spf=Pass smtp.helo=postmaster@very.loosely.org IronPort-PHdr: =?us-ascii?q?9a23=3AqYvRKhV0Y4cUOaMs5/oAK4rpdZ7V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBeDt8tkgFKBZ4jH8fUM07OQ7/m7HzVbvd3b6DgrS99lb1c9k8?= =?us-ascii?q?IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBo?= =?us-ascii?q?KevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrowjdrNQajIVtJ6o+1BfFvmZDdv?= =?us-ascii?q?hLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfM?= =?us-ascii?q?TQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklD?= =?us-ascii?q?sLOjgk+27Ql8JwkblboAq/qBNj347aboaVNP9kcaPce9MRWG5NU8lVWiBEBI63?= =?us-ascii?q?cokBAPcbPetAoYfzp0UAowa9CwmiC+zg1iJHiX340qAhz+QtDRvL0BA8E98Urn?= =?us-ascii?q?jZqsj+OqcIUeCyyanF1TbNYOlQ2Tzg64fIcxUhofSSUrJqdMre008vHB7Cg1WR?= =?us-ascii?q?tYzkPiiY1voTvGiB7+tsT+avi2kgqwFqvDevwscthpPOhoIPxVDJ7CN0y5s7K9?= =?us-ascii?q?2/TU50e9+kEJ1IuiGfLYR2RN4iTHtsuCY+yrwKo567fC8EyZg/wh7fbPuHc4+S?= =?us-ascii?q?7h3/U+aRJDF1j29mdrKnnxu+7Eqtx+PmWsWq0FtHrjBJnsfRun0NzRDe68yKRu?= =?us-ascii?q?N880qjwzqDygLe5+5eLUwqm6fWJYQtzqAtmpcRt0nIAzX4l1/sjKCMc0Up4uio?= =?us-ascii?q?5PrjYrXhvpKcKZF7ihv+M6g0nsy/BuM4MhMQUGif+eWwzrrj/Vf2QLlSj/02lL?= =?us-ascii?q?fWsIzCKMgGpKO0DRVZ3pgj5hu/FTuqzskUkHkdIF9EfB+Ll43pNEvPIPD8A/e/?= =?us-ascii?q?mVOskDJzyvDHIr3gA47ALmbdn7f7fbdx8UpcyA00zdBE+Z1UDrEALOj0Wk/ru9?= =?us-ascii?q?zUFgU5PBCsw+b7FNV90ZsTVn6VDa+cNKPeqFuI5uM0I+mQf4IVozb8K/095/H0?= =?us-ascii?q?l3M5mFkdfbOo3ZQNcny4EO5mcA2lZi/ni9IFVGMLpRYWTerwiVTEXyQASWy1Wv?= =?us-ascii?q?cd7zdzOoOjCIrZQ4mryOiAwDWTAJBMdyZCDVeXHHP5MYKeVKFfO2qpPsZ9n2lc?= =?us-ascii?q?BvCaQIg72ETy5VarmYoiFfLd/2gjjbym0dF04+PJkhRrpW5qAt6MlWWKSHp5mn?= =?us-ascii?q?JOQCU5jvkm/R5Nj2yb2K09uMR2UMRJ7qoZABk3L4+ay+t9EN32S0TGZNjbEA/7?= =?us-ascii?q?EOXjOik4S5cK+/FLY0t5HIzy3A7OxTvsB7gSjLGPFdoz6K2OhnU=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BJKwDi8M1d/0XX/61mHgELHIQeLT9VM?= =?us-ascii?q?iqNLIYJRAoBAQEBAQEFAVNfAQMUgQ+IQ5FDCQEDAQwbEQECAQGEQAKCIB0GAQQ?= =?us-ascii?q?0EwIOAQEEAQEBAgECAwQBbIU3DII7DIMLAQQBOjQQCwshExIPSIM8glIFIAWzL?= =?us-ascii?q?IkWgUiBNowVGHiBB4QjPoUShSEElxuXA4I0hxiOKAwbgj6HY49jqHOBaSKBWE0?= =?us-ascii?q?wCDuCbAlHERSVDYp0IDOBBQEBkHkBAQ?= X-IPAS-Result: =?us-ascii?q?A0BJKwDi8M1d/0XX/61mHgELHIQeLT9VMiqNLIYJRAoBAQE?= =?us-ascii?q?BAQEFAVNfAQMUgQ+IQ5FDCQEDAQwbEQECAQGEQAKCIB0GAQQ0EwIOAQEEAQEBA?= =?us-ascii?q?gECAwQBbIU3DII7DIMLAQQBOjQQCwshExIPSIM8glIFIAWzLIkWgUiBNowVGHi?= =?us-ascii?q?BB4QjPoUShSEElxuXA4I0hxiOKAwbgj6HY49jqHOBaSKBWE0wCDuCbAlHERSVD?= =?us-ascii?q?Yp0IDOBBQEBkHkBAQ?= X-IronPort-AV: E=Sophos;i="5.68,306,1569276000"; d="scan'208";a="326779580" X-MGA-submission: =?us-ascii?q?MDGDIRWj9BdYgQYfhOkBJfxNlnKhWrhK3JXXaq?= =?us-ascii?q?YqBiXgJYfrBN2KEoHWzmU0xeS93qmLcQvaALiPqrRaTYoVqh3sWKSQvw?= =?us-ascii?q?MfLEYaAI4Y6iK6dJMWzVfigHcNE4exYBUEFeam6248/+c4qtHRMuLkYh?= =?us-ascii?q?c2k3V1c+IqpqqgkI0vpFinfQ=3D=3D?= Received: from very.loosely.org ([173.255.215.69]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 15 Nov 2019 01:32:16 +0100 Received: from c-67-174-233-217.hsd1.ca.comcast.net ([67.174.233.217]:58230 helo=foolinux.mooo.com) by ahiker.mooo.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92.3-194-4d662e69c) (envelope-from ) id 1iVPX1-00056c-OS; Thu, 14 Nov 2019 16:32:11 -0800 Date: Thu, 14 Nov 2019 16:32:04 -0800 From: Ian Zimmerman To: caml-list@inria.fr Message-ID: <20191115003204.gscesffgttaqijxy@matica.foolinux.mooo.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/20180716 X-Loosely-ASN: 7922 Subject: Re: [Caml-list] opam and dune [Was: How to use -map] Reply-To: Ian Zimmerman X-Loop: caml-list@inria.fr X-Sequence: 17872 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 2019-08-08 08:38, 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. How? The manual doesn't say, as far as I can see. In fact, it doesn't say how to _enable_ it either, or that it is on by default. The entire subsection of the manual called "Generating opam files" consists of some example syntax from a dune file. This is why I have been resisting the dune wave: the doc too often loses view of the forest. -- Please don't Cc: me privately on mailing lists and Usenet, if you also post the followup to the list or newsgroup. To reply privately _only_ on Usenet and on broken lists which rewrite From, fetch the TXT record for no-use.mooo.com.