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 sympa.inria.fr (Postfix) with ESMTPS id EEA9D7EC74 for ; Thu, 8 Aug 2019 19:54:04 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rudi.grinberg@gmail.com; spf=Pass smtp.mailfrom=rudi.grinberg@gmail.com; spf=None smtp.helo=postmaster@mail-pg1-f177.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rudi.grinberg@gmail.com) identity=pra; client-ip=209.85.215.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rudi.grinberg@gmail.com"; x-sender="rudi.grinberg@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of rudi.grinberg@gmail.com designates 209.85.215.177 as permitted sender) identity=mailfrom; client-ip=209.85.215.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rudi.grinberg@gmail.com"; x-sender="rudi.grinberg@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pg1-f177.google.com) identity=helo; client-ip=209.85.215.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rudi.grinberg@gmail.com"; x-sender="postmaster@mail-pg1-f177.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AXRexgBJjQAmm1BYlP9mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeLvnxwZ3uMQTl6Ol3ixeRBMOHsqgC0rOL+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?waLDMy7n3ZhdJsg6JauBKhpgJww4jIYIGOKfFyerrRcc4GSWZdW8pcUTFKDIGh?= =?us-ascii?q?YIsVF+cPM+ZWoZf+qVQMoxuwGAajC//0xzBSmnP7x7c33/g9HQzE2gErAtIAsG?= =?us-ascii?q?7TrNXwLKocTf21w7TJzT7ebv1Wwzb96I7TfR8/u/GMUq97fM3LyUkyCgzFj0+c?= =?us-ascii?q?qYP/PzOU0OQCqHaU7/BvVe+0hG4nrht+ojmrxss2lobJgYcVx0nC+C5kw4g1Pc?= =?us-ascii?q?W1RFBnbdOgCpddtCGXO5FoTs8/Q2xkojs2x78EtJKjYSQHy5oqywTcZvGDaYSE?= =?us-ascii?q?/xPuWeaLLTtlmH5oebSyjAuo/0e60O3zTMy03U5KriVbltnMsWgA1xnJ5ciGTv?= =?us-ascii?q?tx51+h2TmS2wzK5OFIPEI5mKjBJ54uxb4wkZUTsUDdESPshEr2i6qWel0l+uiu?= =?us-ascii?q?9evnfq3rqoGAO4JwkA3zMaQjltahDeglMgUCRXWX9Oa+2bH7+E32WrRKjvk4kq?= =?us-ascii?q?nDt5DaINwWprSkAwBI04Yv8Rm/Dy2n0NQehnYIMkhFeB2cgojmPlHBOvH4DfOl?= =?us-ascii?q?j1uwlzdrwujKPqf9DZXVMnjDjLDhcK5h5EFGzQozyclT55ZVCrEaPPL+QVTxtd?= =?us-ascii?q?zdDh8hKQO42efnCNNn1oMfQ22DGKGZMLmB+WOPs+kmJu3JYI4OpB78LeIk7rjg?= =?us-ascii?q?lztxuVIbcbOo3tM9b3e9VqBmLkOVe3vvqssGCWAL+BI5S/Wsg1qHB219fXG3Cp?= =?us-ascii?q?gh6jBzJ5inC43OXI/l1Kac0Cb9EYdXYGpLEF+kHnLhdoHCUPAJPnHBavR9myAJ?= =?us-ascii?q?AODyA7Qq0guj4Uqjk+I+c7jkvxYAvJem7+Bbou3ekRZoq25xBsWZlnmCFiR6xz?= =?us-ascii?q?xXATAx2697rAp2zVLRifEk0cwdLsRa4rZyail/LYTVlrUoBNX7WwaHddCMGg7/?= =?us-ascii?q?E4eWRAopR9d0+OcgJkN0GtGslBfGhnP4DLoclrjND5sxoPvR?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B9GAAYYUxdgLHXVdFmHgEGBwaBZ4MFA?= =?us-ascii?q?09chB6PJYFiCCWJbHSEb4M3iAMJAQMBCgEBLwEBhD8CglYbBwEENBMBBAEBBAE?= =?us-ascii?q?BBAEDBwETAQEJDQkIJ4UwDII6KQGCXQoBAgIBIx0BGx4DAQsGBQMBPgICIxEBB?= =?us-ascii?q?QEcBgGDNAGBaQEDDg4BoDQ8iyGBFQUBF4J7BYRMChknDV8DgT0CBwkBCIEii2S?= =?us-ascii?q?BVz+BOAyCXz6HT4JYBI8LhghClHhtBwKCH14Ek0EtjS4SimqNUJd5AgQCBAUCB?= =?us-ascii?q?g8hgUaBeU0jUIJsgkKDcYpfMzONEwEB?= X-IPAS-Result: =?us-ascii?q?A0B9GAAYYUxdgLHXVdFmHgEGBwaBZ4MFA09chB6PJYFiCCW?= =?us-ascii?q?JbHSEb4M3iAMJAQMBCgEBLwEBhD8CglYbBwEENBMBBAEBBAEBBAEDBwETAQEJD?= =?us-ascii?q?QkIJ4UwDII6KQGCXQoBAgIBIx0BGx4DAQsGBQMBPgICIxEBBQEcBgGDNAGBaQE?= =?us-ascii?q?DDg4BoDQ8iyGBFQUBF4J7BYRMChknDV8DgT0CBwkBCIEii2SBVz+BOAyCXz6HT?= =?us-ascii?q?4JYBI8LhghClHhtBwKCH14Ek0EtjS4SimqNUJd5AgQCBAUCBg8hgUaBeU0jUIJ?= =?us-ascii?q?sgkKDcYpfMzONEwEB?= X-IronPort-AV: E=Sophos;i="5.64,362,1559512800"; d="scan'208,217";a="394883166" X-MGA-submission: =?us-ascii?q?MDEhrtx3Fozo060tEvUrCEWtYy0rX2bkpC+beG?= =?us-ascii?q?sw7QiqfSs4vM8CNMEOymbdEGT70noUrcLvpFTZoWQ0GuFO+uP0k5Wym3?= =?us-ascii?q?uFSm8w8CNjpaCtTOZ2j/XflONsw7C+sD0xlW95hILwOJLz9sZ3/j+cW4?= =?us-ascii?q?D1J27fEsaLDDFLU6iyOpqGqA=3D=3D?= Received: from mail-pg1-f177.google.com ([209.85.215.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 08 Aug 2019 19:54:04 +0200 Received: by mail-pg1-f177.google.com with SMTP id l21so44439818pgm.3 for ; Thu, 08 Aug 2019 10:54:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:in-reply-to:references:subject:mime-version; bh=UDkhjSKcNIkI2HlJJ18lFJxaPOKBMzAhv8WHeQtlWq0=; b=WnDnE6IfNwuDf4QHVfwobm0NQDyRCnq2TJpm/4dLGNULt+Hx7H4Q76t/KiCnS8K2HF tLb4+g/TQLCHWc6eESKhaXe0dZOqNXv2ePdzVWePPDrRCm6GMhfWiHdfsQefTWoRZDfq uI0xa09C5quPIKvQTWdSq2Jm9kmv2l6XBGwtfywOY+fOVi9QdLCYzloAGgJrlBM0pio2 R3I/Nv7BrUf907+qcgRFFkvz8/bV8lBfWq4a2crYRFZENwly8CcGdDS8TDYM5c3e9IrY Xn7tvM1f/vClooy2qqdU1haeRwi7uPrr/tT1aZPk4bbNne+bXmwqseYbPHAAEyJM7zNU UnYA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:message-id:in-reply-to:references :subject:mime-version; bh=UDkhjSKcNIkI2HlJJ18lFJxaPOKBMzAhv8WHeQtlWq0=; b=iO3UlbpDwZwRf0dgv4s74WFHS5ZS8GNY2x3XOAkgbQ632fsJxVPDklDwLbWn139uLh FjjsRj/XkO1JOnf3gFgyZ7KTS0H8FmsNK0RKhWFTf3M6mPd5ZsZz/nudBngsIYFYEFtw Q0UHhuLfy8fw+zd4DA6Ykv1RISzerHRsUSokzh+Y2jDmwNVXvV3hlmwTDS0LUhU4WL9v l1cMi5EvmJyAkltH+w5Kgw+R0qoaOXkdVx1SaKn9hQh7f6uTguETc3JP45EanQsbcOFo Q+luouSzjJw26o6uXpXzhDoGZtD8OZFWHsMs1/lJS1rtQWVrJiB13pBAtAkmmMKTg6XJ aZCQ== X-Gm-Message-State: APjAAAXfz5SMqerIp3SgfwWAmxcDUbf9n5eLWaMWsKVcQC/n9+w+9nTX Hzo+twgK8JuDhcYzwmsFMHTGRBcdgj8= X-Google-Smtp-Source: APXvYqzf+U+AY9H0k/x1JKO+o6imer5uqdcF8AKKy+c1uYcJnAJ003BE5CeY6s/ta0O/XQwZYPOkvA== X-Received: by 2002:a63:381d:: with SMTP id f29mr14186579pga.101.1565286841902; Thu, 08 Aug 2019 10:54:01 -0700 (PDT) Received: from [192.168.51.21] ([183.89.165.106]) by smtp.gmail.com with ESMTPSA id f3sm158957223pfg.165.2019.08.08.10.54.00 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 08 Aug 2019 10:54:01 -0700 (PDT) Date: Fri, 9 Aug 2019 00:53:53 +0700 From: Rudi Grinberg To: caml-list@inria.fr, Hendrik Boom Message-ID: <15d7e631-8a0b-41fe-9792-9afaa8a8af93@Spark> In-Reply-To: <20190808174802.7ticjmzgcgvjxvlc@topoi.pooq.com> References: <20190731211816.x5vj472m34cshifj@matica.foolinux.mooo.com> <20190806184710.7zlxt2amae2tsg3w@matica.foolinux.mooo.com> <20190807203214.6jkj2ygi5vcad4to@matica.foolinux.mooo.com> <20190808174802.7ticjmzgcgvjxvlc@topoi.pooq.com> X-Readdle-Message-ID: 15d7e631-8a0b-41fe-9792-9afaa8a8af93@Spark MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="5d4c61b6_66ef438d_ef9d" Subject: Re: [Caml-list] opam and dune [Was: How to use -map] --5d4c61b6_66ef438d_ef9d Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Content-Disposition: inline > Is this a bootstrapping issue? If so, having a generated file in > version control is likely an inevitability. The issue could be avoided if we could teach opam that some .opam files are generated. For example, opam could ask dune to build all .opam files with $ dune builld @opam. If we wanted something more build system agnostic, we could also just check-in a list of all package file names. Opam could then ask the $build-system to build all of them. --5d4c61b6_66ef438d_ef9d Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline
Is this a bootstrappin= g issue? If so, having a generated file in
version control is likely an inevitability. 

The issue could be avoided if we could teach opam that some .opam file= s are generated. For example, opam could ask dune to build all .opam files = with $ dune builld @opam. If we wanted something more build system agnostic= , we could also just check-in a list of all package file names. Opam could = then ask the $build-system to build all of them.
--5d4c61b6_66ef438d_ef9d--