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 B6BB75D6 for ; Thu, 8 Aug 2019 17:54:11 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,362,1559512800"; d="scan'208,217";a="394883203" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Aug 2019 19:54:10 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id AE0057EDC1; Thu, 8 Aug 2019 19:54:10 +0200 (CEST) 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 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] Reply-To: Rudi Grinberg X-Loop: caml-list@inria.fr X-Sequence: 17745 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: --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 bootstrapping issue=3F If so, having a generated file in
version control is likely an inevitability.&=23160;

The issue could be avoided if we could teach opam that some .opam fi= les are generated. =46or example, opam could ask dune to build all .opam = files with =24 dune builld =40opam. If we wanted something more build sys= tem agnostic, we could also just check-in a list of all package file name= s. Opam could then ask the =24build-system to build all of them.
--5d4c61b6_66ef438d_ef9d--