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 ESMTP id 16D665D6 for ; Thu, 8 Aug 2019 19:38:36 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,362,1559512800"; d="scan'208";a="394890270" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Aug 2019 21:38:33 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7DA397ED24; Thu, 8 Aug 2019 21:38:33 +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 F1A3B7EC74 for ; Thu, 8 Aug 2019 21:38:25 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=Pass smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@relay6-d.mail.gandi.net IronPort-PHdr: =?us-ascii?q?9a23=3AvF7bhBKpjqCM3BXS+tmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgfLvrxwZ3uMQTl6Ol3ixeRBMOHsqgC0rOL+Pm6BCQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagf79+Ngi6oRjRu8UZnIduNKY8wQbVr3VVfO?= =?us-ascii?q?hb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnY?= =?us-ascii?q?UAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhS?= =?us-ascii?q?waLDMy7n3ZhdJsg6JauBKhpgJww4jIYIGOKfFyerrRcc4GSWZdW8pcUTFKDIGh?= =?us-ascii?q?YIsVF+cPM+ZWoZf+qVQMoxuwGAajC//gxDBVnXL2wbQ63v49HQ3awAAtHdQDu2?= =?us-ascii?q?nUotXvM6cSVPi4wqfSwjXFbvNZxzP955DVfwg9p/GNXLZwccvMwkQoCgzKlFOQ?= =?us-ascii?q?qY37MDORzOgCqHWb4PRmVeOuj24nqhp8rSa1xsc2kIbJmoMVyknZ9Spn2oo6Od?= =?us-ascii?q?24RVd9bNW5HpVQsCSaOJF3QsMkW2xotyc6yqEGuZ6mZycG0ogoxxnaa/GBboOG?= =?us-ascii?q?4QrjWf6PLTtlhn9pYrCyiwqo/US9yeDxWNO43EtOoydGitXAq38A2wHJ5sSaRP?= =?us-ascii?q?Zw/V2t1DeB2gzJ9+1IPV04mKzGIJA72LEwjIAcsUHbEy/2hkr2iKiWe10++ue2?= =?us-ascii?q?7+ToeLXnq56FO4BpkA3+N74hms27AegiPQgBRW6b9vm91LH5+032XqlKguU3kq?= =?us-ascii?q?nfrp/aOdwWqrCkDwJXyIou6QqzAy273Nkbk3QLNk9JdRaEgoTxPlHBOvH4DfOx?= =?us-ascii?q?g1S2lzdrwujLMaD7DZXLL3jMjrPhcaxm5E5B1gUzy9Fe55ZVCrwaPv3zQFXxu8?= =?us-ascii?q?bEDh84Kgy03vjoBM9h2YMeQW6PGLOWMLvOsV+U4eIiO/WDa5UQuDb5MvQl4//u?= =?us-ascii?q?jWQlmVIGZqmo3Z4XaGiiEfh8IkWZZ2DsgtYbHmsQsAo+Vr+itFrXcTNVa2yzXO?= =?us-ascii?q?oW4TY+QNamAIHPXIGuqKCGxCC6WIVRYXkAAVeJRzOgTZiIWr8jciOUKMJ7nXRQ?= =?us-ascii?q?T6WtSskuzxCovgLgxJJoK+PV/msTspe1kJB+7ujX0BUz7iBcDsKH0mjLQXsnsH?= =?us-ascii?q?kPQmoa1aZ+rEhK4MOFw6x5y6hUHNpS6vcPWBo3M4zYzsR3Ecr7RgPYY9rPQ1bw?= =?us-ascii?q?EYbuOi04Ut9km4xGWE16Adj3y0mbh3P2UY9QrKSCAdkPyoyZx2L4fpovxmzc3b?= =?us-ascii?q?UglkQrBMBPZzX/1/xPsjPLDouMqH230qOjdKASxinIrTvRwHCUtV1ZSRN9F67F?= =?us-ascii?q?DylGOxnm6O/h70aHdIeATLQqNgwblJyYJ69De4OsgRNDTfbnftvXZW6w3WG9GU?= =?us-ascii?q?TQyw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AvBQADeUxdh8a3RtlmHQEBBQEHBQGBZ?= =?us-ascii?q?4MFUzEqCoQUiHyGKDQBgTUliVuRLgkBAwEMIwoCAQGEPwKCVhsHAQQ0EwEEAQE?= =?us-ascii?q?EAQEEAQMHARMBAQEIDQkIGw6FLgyCOikBgmcBAgIBI1sLCxoCJgICISYQBgESg?= =?us-ascii?q?yIBgWoDDhMLq3uBMoQ0AYNkDYEZgQkGgQwoi2SBCYENgUSCXz6CGkcCgWGDCy6?= =?us-ascii?q?CKgSPC5tCLUAHAoE6ZYZfiVKEE4IglhaNUIddgXiOTIFngXmBQIJsglyDV4pVP?= =?us-ascii?q?jKBCCGKSQGBIAEB?= X-IPAS-Result: =?us-ascii?q?A0AvBQADeUxdh8a3RtlmHQEBBQEHBQGBZ4MFUzEqCoQUiHy?= =?us-ascii?q?GKDQBgTUliVuRLgkBAwEMIwoCAQGEPwKCVhsHAQQ0EwEEAQEEAQEEAQMHARMBA?= =?us-ascii?q?QEIDQkIGw6FLgyCOikBgmcBAgIBI1sLCxoCJgICISYQBgESgyIBgWoDDhMLq3u?= =?us-ascii?q?BMoQ0AYNkDYEZgQkGgQwoi2SBCYENgUSCXz6CGkcCgWGDCy6CKgSPC5tCLUAHA?= =?us-ascii?q?oE6ZYZfiVKEE4IglhaNUIddgXiOTIFngXmBQIJsglyDV4pVPjKBCCGKSQGBIAE?= =?us-ascii?q?B?= X-IronPort-AV: E=Sophos;i="5.64,362,1559512800"; d="scan'208";a="315962790" X-MGA-submission: =?us-ascii?q?MDEhrT86iw8KPsZILPoPayQevL6ZdiaI9VDrly?= =?us-ascii?q?4vknn7PTigq8gnPCjb2wSDGScDBSamzsGrE92PcMxcCdrQBW+Pqft7So?= =?us-ascii?q?T0P8lX/tPCThJHHXFmGFF+4tv4tNxi5TATZvUH8a7rBXjrvLhUPP7UC9?= =?us-ascii?q?hDPh/TJukeldLJm8gIQDxgoA=3D=3D?= Received: from relay6-d.mail.gandi.net ([217.70.183.198]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 08 Aug 2019 21:38:25 +0200 X-Originating-IP: 141.138.63.101 Received: from hehey.local.mail (141-138-63-101.dsl.iskon.hr [141.138.63.101]) (Authenticated sender: daniel.buenzli@erratique.ch) by relay6-d.mail.gandi.net (Postfix) with ESMTPSA id 52815C0004; Thu, 8 Aug 2019 19:38:23 +0000 (UTC) Date: Thu, 8 Aug 2019 21:38:22 +0200 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: Hendrik Boom , Rudi Grinberg , caml-list@inria.fr Message-ID: In-Reply-To: <15d7e631-8a0b-41fe-9792-9afaa8a8af93@Spark> References: <20190731211816.x5vj472m34cshifj@matica.foolinux.mooo.com> <20190806184710.7zlxt2amae2tsg3w@matica.foolinux.mooo.com> <20190807203214.6jkj2ygi5vcad4to@matica.foolinux.mooo.com> <20190808174802.7ticjmzgcgvjxvlc@topoi.pooq.com> <15d7e631-8a0b-41fe-9792-9afaa8a8af93@Spark> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Subject: Re: [Caml-list] opam and dune [Was: How to use -map] Reply-To: =?utf-8?Q?Daniel_B=C3=BCnzli?= X-Loop: caml-list@inria.fr X-Sequence: 17748 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 8 August 2019 at 19:53:53, Rudi Grinberg (rudi.grinberg=40gmail.com) w= rote: > The issue could be avoided if we could teach opam that some .opam files= are generated. =20 > =46or example, opam could ask dune to build all .opam files with =24 du= ne builld =40opam. If we =20 > wanted something more build system agnostic, we could also just check-i= n a list of all =20 > package file names. Opam could then ask the =24build-system to build al= l of them. See=C2=A0https://github.com/ocaml/opam/issues/3797.=C2=A0 Best,=C2=A0 D