From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 16 12:44:20 2020 Received: (at submit) by debbugs.gnu.org; 16 Mar 2020 16:44:20 +0000 Received: from localhost ([127.0.0.1]:37823 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jDsqh-0003cn-PZ for submit@debbugs.gnu.org; Mon, 16 Mar 2020 12:44:20 -0400 Received: from lists.gnu.org ([209.51.188.17]:53696) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jDsqg-0003cf-1P for submit@debbugs.gnu.org; Mon, 16 Mar 2020 12:44:18 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:50165) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jDsqe-00015p-Mn for guix-patches@gnu.org; Mon, 16 Mar 2020 12:44:17 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,FREEMAIL_FROM autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jDsqd-0002Ch-GM for guix-patches@gnu.org; Mon, 16 Mar 2020 12:44:16 -0400 Received: from mail-io1-xd2c.google.com ([2607:f8b0:4864:20::d2c]:38568) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1jDsqd-00020j-8q for guix-patches@gnu.org; Mon, 16 Mar 2020 12:44:15 -0400 Received: by mail-io1-xd2c.google.com with SMTP id c25so17204363ioi.5 for ; Mon, 16 Mar 2020 09:44:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=Yhk3154ZF+nK9rnZ7TWdaMTy5dbnx24gEBlp4AA0EKM=; b=JTsrGOzA3dzkkVyDiGx+1eytpp2/ik2pT4UCkFPXuIrAGrUFWNLjbSwALZBdeMvG2G 4h8WJVznlK3b85g0KSX+KIUZNop1MYE7es0664HrhqQ/D9+HbqsKTaBBEQgFQHFVYQEf gfgzhunNP5kIQQ7r5DRB5nJ+yHaVvWf09djxuwXAzB9zW6PvEOGQ1Jme1DIRP6KVvaEL 3vf/Po2RB4qgZ4W/IRcMOGCP2QFqSgBKrEt49teOT4UJSde6QIV3Z49CaAcp8LZlgyiS GSxf+byJedx7KfKC22Zl2WxfExwu1PBVJBIgcmcjNQFCqA/UJHNDpSzn4zp9Pzt+PxfQ VjyQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=Yhk3154ZF+nK9rnZ7TWdaMTy5dbnx24gEBlp4AA0EKM=; b=Ak+q5OO47pMGKwPujgqswc+y05uWov1h5nnYQM6NOi1pto5pCqRebQWfFlduL1BZrH wZyB3lP8OLrehvgwQvns+Af6XmS0fyeLMVPUam33/0sfUsZ7qciNTMBAZJ0VmZFQ1s8x FBGrC/ya4Kaw69eGlkvurAmuMZoXAHL2ea/u8EE1+Lz6kv/ZX2ZaWsKThEGCt97rIoqt +yeWiStmn+0gxReDalDVsVwX5V6sFPVF0wymAb4UoUbsUYBLUEjTld1mfV4DGL/O/Mkr DDwIU7KOo1ZJR4a+zIeC0YylAi8/4EdCj4q+dToMqwAreS9KI/qtUytUjau7H1ZPmfkM pTVg== X-Gm-Message-State: ANhLgQ1KsSVsckeebUJ25YoKPyvQnQvUeADQY6Syw9UqiPjZuwUM7bXp jSDJeys25V7pTyOihgyadZYBKN2jnzocEIC2CP0NTQ== X-Google-Smtp-Source: ADFU+vvZmy31aLjQ1KZ3h9I/HWIWFzXGT7iY6ejAKKXcavBfJbpoz9GPVkav0ykbj5B/ZYZuh9FiVxTPgKrbqcwp6wU= X-Received: by 2002:a6b:b4c1:: with SMTP id d184mr53271iof.85.1584377053986; Mon, 16 Mar 2020 09:44:13 -0700 (PDT) MIME-Version: 1.0 From: Vincent Legoll Date: Mon, 16 Mar 2020 17:44:02 +0100 Message-ID: Subject: [PATCH] gnu: dune: Update to 2.4.0. To: guix-patches@gnu.org, Julien Lepiller Content-Type: multipart/mixed; boundary="0000000000007e8a8d05a0fb8712" X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::d2c X-Spam-Score: 0.3 (/) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) --0000000000007e8a8d05a0fb8712 Content-Type: text/plain; charset="UTF-8" The added "release" make parameter, fixes the following bug: make: ./dune.exe: Command not found Tested with ocaml-menhir package update (which will follow soon) This may force a lot of other rebuildings, so may not be suitable for master -- Vincent Legoll --0000000000007e8a8d05a0fb8712 Content-Type: text/x-patch; charset="US-ASCII"; name="0001-gnu-dune-Update-to-2.4.0.patch" Content-Disposition: attachment; filename="0001-gnu-dune-Update-to-2.4.0.patch" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_k7up6d7w0 RnJvbSAxY2QwZGViZGJmNWFjYmJiYTYzNGZlYjI1YjcyZDQ2YzhkNTNlYTk4IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBWaW5jZW50IExlZ29sbCA8dmluY2VudC5sZWdvbGxAZ21haWwu Y29tPgpEYXRlOiBNb24sIDE2IE1hciAyMDIwIDE2OjQxOjExICswMTAwClN1YmplY3Q6IFtQQVRD SF0gZ251OiBkdW5lOiBVcGRhdGUgdG8gMi40LjAuCgoqIGdudS9wYWNrYWdlcy9vY2FtbC5zY20g KGR1bmUpOiBVcGRhdGUgdG8gMi40LjAKW2FyZ3VtZW50c106IEFkZCAicmVsZWFzZSIgdG8gbWFr ZSBwYXJhbWV0ZXJzIHRvIGZvcmNlIHJlYnVpbGRpbmcKImR1bmUuZXhlIgotLS0KIGdudS9wYWNr YWdlcy9vY2FtbC5zY20gfCA3ICsrKystLS0KIDEgZmlsZSBjaGFuZ2VkLCA0IGluc2VydGlvbnMo KyksIDMgZGVsZXRpb25zKC0pCgpkaWZmIC0tZ2l0IGEvZ251L3BhY2thZ2VzL29jYW1sLnNjbSBi L2dudS9wYWNrYWdlcy9vY2FtbC5zY20KaW5kZXggMzU3MDEwMzlhZC4uZWE0ZmIzZWRiMSAxMDA2 NDQKLS0tIGEvZ251L3BhY2thZ2VzL29jYW1sLnNjbQorKysgYi9nbnUvcGFja2FnZXMvb2NhbWwu c2NtCkBAIC0xMjQyLDcgKzEyNDIsNyBAQCBmdWxsX3NwbGl0LCBjdXQsIHJjdXQsIGV0Yy4uIikK IChkZWZpbmUtcHVibGljIGR1bmUKICAgKHBhY2thZ2UKICAgICAobmFtZSAiZHVuZSIpCi0gICAg KHZlcnNpb24gIjEuMTEuMyIpCisgICAgKHZlcnNpb24gIjIuNC4wIikKICAgICAoc291cmNlIChv cmlnaW4KICAgICAgICAgICAgICAgKG1ldGhvZCBnaXQtZmV0Y2gpCiAgICAgICAgICAgICAgICh1 cmkgKGdpdC1yZWZlcmVuY2UKQEAgLTEyNTEsMTEgKzEyNTEsMTIgQEAgZnVsbF9zcGxpdCwgY3V0 LCByY3V0LCBldGMuLiIpCiAgICAgICAgICAgICAgIChmaWxlLW5hbWUgKGdpdC1maWxlLW5hbWUg bmFtZSB2ZXJzaW9uKSkKICAgICAgICAgICAgICAgKHNoYTI1NgogICAgICAgICAgICAgICAgKGJh c2UzMgotICAgICAgICAgICAgICAgICIwbDR4MHgyZnoxMzVwbGp2ODh6ajh5Nncxbmluc3F3MGdu MW1keHpwcmQ2d2J4YnluOHdyIikpKSkKKyAgICAgICAgICAgICAgICAiMGk4Yjg0bWkzOHI0MzF6 NGExeWg0eG5uOXo1bW5rMWczZGkwcXo2aDRsc3hxOHBnMm0wdiIpKSkpCiAgICAgKGJ1aWxkLXN5 c3RlbSBvY2FtbC1idWlsZC1zeXN0ZW0pCiAgICAgKGFyZ3VtZW50cwogICAgICBgKCM6dGVzdHM/ ICNmOyByZXF1aXJlIG9kb2MKLSAgICAgICAjOm1ha2UtZmxhZ3MgKGxpc3QgKHN0cmluZy1hcHBl bmQgIlBSRUZJWD0iIChhc3NvYy1yZWYgJW91dHB1dHMgIm91dCIpKQorICAgICAgICM6bWFrZS1m bGFncyAobGlzdCAicmVsZWFzZSIKKyAgICAgICAgICAgICAgICAgICAgICAgICAgKHN0cmluZy1h cHBlbmQgIlBSRUZJWD0iIChhc3NvYy1yZWYgJW91dHB1dHMgIm91dCIpKQogICAgICAgICAgICAg ICAgICAgICAgICAgICAoc3RyaW5nLWFwcGVuZCAiTElCRElSPSIgKGFzc29jLXJlZiAlb3V0cHV0 cyAib3V0IikKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIi9saWIv b2NhbWwvc2l0ZS1saWIiKSkKICAgICAgICAjOnBoYXNlcwotLSAKMi4yNS4xCgo= --0000000000007e8a8d05a0fb8712-- From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 16 15:46:51 2020 Received: (at submit) by debbugs.gnu.org; 16 Mar 2020 19:46:51 +0000 Received: from localhost ([127.0.0.1]:37880 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jDvhK-0001yO-Ux for submit@debbugs.gnu.org; Mon, 16 Mar 2020 15:46:51 -0400 Received: from lists.gnu.org ([209.51.188.17]:40944) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jDvhJ-0001yH-RF for submit@debbugs.gnu.org; Mon, 16 Mar 2020 15:46:50 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56350) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jDvhH-0007sN-F6 for guix-patches@gnu.org; Mon, 16 Mar 2020 15:46:49 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-0.5 required=5.0 tests=BAYES_05,URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jDvhF-0003t2-8s for guix-patches@gnu.org; Mon, 16 Mar 2020 15:46:47 -0400 Received: from lepiller.eu ([2a00:5884:8208::1]:53526) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1jDvhE-0003EO-L6 for guix-patches@gnu.org; Mon, 16 Mar 2020 15:46:45 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id ae5d213b; Mon, 16 Mar 2020 19:46:39 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:message-id:in-reply-to:references:mime-version :content-type:content-transfer-encoding; s=dkim; bh=SGPUBT1sszYb ubqq1KDJ3fx5ubmv5MayPsW+1wFkfts=; b=O7pBczNxrtsxV8UmlL9I+nrEP9KZ yuaLR65/17Nz0z9qTYX4AUFpauiJa9phrN/sx2f7meuS+xiZQZuFbWkaDQAu4KSo XaucIUjr6CMBfJZW3upTamvwasYaDxZ5DZSPqj0xHdvZQLVZtql/MjCOmu5a2JA0 5GQsbw5FebMajm3G48xFFuVZaLcxlA4Xv2z3HWrkzELGp9xy60ty6kf7B063OUMp ZdkSS8OKU3aVHkcnTFA3T3lEsdvfVtHRt4rbFgloOSFUv5ZmlTTDIWUO6NwHBql9 CA2mcw8tUVvh+9kywYb10qlbhQP6ccRxusfgfq32rKr9gzAXAk3F4BeByA== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 19626f0d (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Mon, 16 Mar 2020 19:46:39 +0000 (UTC) Date: Mon, 16 Mar 2020 20:46:32 +0100 From: Julien Lepiller To: Vincent Legoll Subject: Re: [PATCH] gnu: dune: Update to 2.4.0. Message-ID: <20200316204618.09d068df@tachikoma.lepiller.eu> In-Reply-To: References: X-Mailer: Claws Mail 3.17.4 (GTK+ 2.24.32; x86_64-unknown-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2a00:5884:8208::1 X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: submit Cc: guix-patches@gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Thanks for the patch! I tried using it, but even though dune builds fine, this new version removed support for jbuild, which creates build errors when building e.g. ocaml4.07-sexplib0. Note that according to "guix refresh -l dune" there are only 137 dependents, so this change could go to master. However, we need to find a solution to the above issue. The guix refresh command should give you the list of packages that depend on dune. Make sure that those who build now still build after your patch, or fix them. We could also duplicate the dune package and uses the older dune for our packages that still use jbuild. Alternatively, as suggested by dune, maybe we can try to run "dune upgrade" in these packages. What do you think would work best? Le Mon, 16 Mar 2020 17:44:02 +0100, Vincent Legoll a =C3=A9crit : > The added "release" make parameter, fixes the following bug: > make: ./dune.exe: Command not found >=20 > Tested with ocaml-menhir package update > (which will follow soon) >=20 > This may force a lot of other rebuildings, so > may not be suitable for master >=20 > -- > Vincent Legoll From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 16 16:45:44 2020 Received: (at submit) by debbugs.gnu.org; 16 Mar 2020 20:45:44 +0000 Received: from localhost ([127.0.0.1]:37927 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jDwcJ-0003VO-NK for submit@debbugs.gnu.org; Mon, 16 Mar 2020 16:45:43 -0400 Received: from lists.gnu.org ([209.51.188.17]:42407) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jDwcH-0003VH-Tf for submit@debbugs.gnu.org; Mon, 16 Mar 2020 16:45:42 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:45502) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jDwcG-00005B-NE for guix-patches@gnu.org; Mon, 16 Mar 2020 16:45:41 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,FREEMAIL_FROM, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jDwcF-00069y-Lu for guix-patches@gnu.org; Mon, 16 Mar 2020 16:45:40 -0400 Received: from mail-il1-x144.google.com ([2607:f8b0:4864:20::144]:36969) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1jDwcF-0005wz-Dc for guix-patches@gnu.org; Mon, 16 Mar 2020 16:45:39 -0400 Received: by mail-il1-x144.google.com with SMTP id a6so17950332ilc.4 for ; Mon, 16 Mar 2020 13:45:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=0UiBEWvr3UsCHOag7OsPbNXmA2YrKFiZHo5x5MhFfgM=; b=r1uwE0mn9Q3xRDv3sM4xqfhzMDkqr9Ke8qHYt/I2/BabNnwj4/j2KKLOBmnYo49No5 2K3DKlbC5fFn4CkqhBGSYq9tR0l/GjV/+q8XDDdvk47ZEqe5LEVOkHzcFg9A7xZ8Vxah ROtVRXZHHTvM4c4/tGy65vD6qtRHzZ2HIf2tLSBv/J3PS8vhg5R2apv8tWQeIYSGUeUj kTKuLsjIpFYCkWYRnMIdglzBa01PAFsUMABQ3M26WIyE8YR9kt7mdKhAas/goK5Q+lKJ gl2Y4W1ao56cvGNAPLbXZF+/VeSnd+FW3PbTSg5kJbRehwQoyoCzsHY69Q2m637R/EzV puPA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=0UiBEWvr3UsCHOag7OsPbNXmA2YrKFiZHo5x5MhFfgM=; b=ZH5WgDLC3NCRxbaRhTwat828wqfMdyJ402p3Oxguue4HUmJbnieuQfzeeQTESXONkV FpxhfLkuTdp3GLsh51UzaOg8V2Fo/ToJy9wQyZ4lghpihv/R/iPOV3i0ChgRic+MaVzv UNOGxrcnCOFAjt40SjiHJPcpJJ/s6JIzyTiXV5RAOXbr91iiizfuDXlBJ3PMRthYz/0V 92R2puf6ym5bf10CzkIieTrYgIePoyyJclEyqg6D1MxjRmmuZ94KEZwSXnxkozl5/HAK kYX6PowFyhHTyfcX/NvVlrKdfcpG9V1wRW7XFs3vvxu9AIMuWz2tS9gF6iCEbkFfZjR0 yPCA== X-Gm-Message-State: ANhLgQ0ZKQTa+ZrkDtImZUiI9KQPDA0zyVoXHqoatdZ6s8ZXFJA7TlrU 8jrfahNEk8eyb/qBqPtMNBkanz9Ks0IGPfbohUWLsx+P X-Google-Smtp-Source: ADFU+vu2W8bcImC/J/nn2qzYOObNV7/FqhNywomjiMscNrusBI7iMfx71D0d/dMLPi5m8wuTw9t0CWxDSA+OD/JEuyk= X-Received: by 2002:a92:8c42:: with SMTP id o63mr1563552ild.189.1584391538329; Mon, 16 Mar 2020 13:45:38 -0700 (PDT) MIME-Version: 1.0 References: <20200316204618.09d068df@tachikoma.lepiller.eu> In-Reply-To: <20200316204618.09d068df@tachikoma.lepiller.eu> From: Vincent Legoll Date: Mon, 16 Mar 2020 21:45:27 +0100 Message-ID: Subject: Re: [PATCH] gnu: dune: Update to 2.4.0. To: Julien Lepiller Content-Type: text/plain; charset="UTF-8" X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::144 X-Spam-Score: 0.3 (/) X-Debbugs-Envelope-To: submit Cc: guix-patches@gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) Hello, On Mon, Mar 16, 2020 at 8:46 PM Julien Lepiller wrote: > Thanks for the patch! I tried using it, but even though dune builds > fine, this new version removed support for jbuild, which creates > build errors when building e.g. ocaml4.07-sexplib0. Ah, that explains the build problem I met in my attempt to package coccinelle... It surprised me since I read in the dune doc that jbuild should be supported by dune. Maybe that doc is outdated... > Note that according to "guix refresh -l dune" there are only 137 > dependents, so this change could go to master. Yep, I saw that, but I also tried "guix refresh -lr" and that gave a huge list. Maybe that's not relevant, I'm still low on the guix / guile learning curve... > However, we need to find a solution to the above issue. Yes > The guix refresh command should give you > the list of packages that depend on dune. > Make sure that those who > build now still build after your patch, or fix them. Yes > We could also > duplicate the dune package and uses the older dune for our > packages that still use jbuild. This may be the path of least resistance, and would let us handle problems without a flag day... > Alternatively, as suggested by dune, maybe we > can try to run "dune upgrade" in these packages. > > What do you think would work best? That is a question I cannot answer, I did not know about dune before today ;-) But I'll try to "dune upgrade" a few of them and we'll see where this'll lead... I was not expecting to fall in such a rabbit hole... But this is fun, I'll keep at it. -- Vincent Legoll From debbugs-submit-bounces@debbugs.gnu.org Fri May 29 13:12:01 2020 Received: (at control) by debbugs.gnu.org; 29 May 2020 17:12:02 +0000 Received: from localhost ([127.0.0.1]:56072 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jeiY5-0007Qn-Il for submit@debbugs.gnu.org; Fri, 29 May 2020 13:12:01 -0400 Received: from wout2-smtp.messagingengine.com ([64.147.123.25]:51419) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jeiY4-0007QV-AM for control@debbugs.gnu.org; Fri, 29 May 2020 13:12:01 -0400 Received: from compute2.internal (compute2.nyi.internal [10.202.2.42]) by mailout.west.internal (Postfix) with ESMTP id 9B8E316E4; Fri, 29 May 2020 13:11:54 -0400 (EDT) Received: from mailfrontend2 ([10.202.2.163]) by compute2.internal (MEProxy); Fri, 29 May 2020 13:11:54 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=famulari.name; h=date:from:to:message-id:mime-version:content-type; s=mesmtp; bh=IXrBXSYjUdstVJIR5jzyS4k82b8b4uhSKdP6grsIYT4=; b=LTiJrithv9aK eTJiygyrMOo+3nsHxPCDGs6wDVuE7Isd+Ym5gefe2kHzSO15/6EmZxTTwD4Y2OZ6 2MmJJmN7uYBdr8p/DbWeSkAVnm4d7m02ltrCpLv8KRE6df0vTptj3t2DkHyd+2hi o2NAmLJjzdgHptWa8pymqG8vZY05u+I= DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-type:date:from:message-id :mime-version:to:x-me-proxy:x-me-proxy:x-me-sender:x-me-sender :x-sasl-enc; s=fm2; bh=IXrBXSYjUdstVJIR5jzyS4k82b8b4uhSKdP6grsIY T4=; b=Zs/Vu19kNTEoeLFVMDnH7jmNv2EyBULBUXuF3r1gqA4Ly7oRwkPelmjly 92ltAE6mVyTewPGFLYdQLJAJ2o/SBNsd955kNEbm/DWIRCAu2UnnrJEbzhCmnDo7 RapsMrOoYqtp4D/FXU453OD0kXEKy3J2isuKfPXSxelQINBDZZ9MxEf93mzsyj3o x3M5YJT7ONyij6UlZFuhQC3uKFBcT+pkqG+gjKKakBDE9nSmKgfUZzzDUiRsyb+B a5JIR/LJb3nopWbjScKavrl3l4w5BF5sulP97Oeq3/EtLqGGcrqDavhnT7GLtg2Y gk0X7jIp4SW3ATCeo1DnYIf8N6Aeg== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduhedruddvkedgkeehucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucfgmhhpthihuchsuhgsjhgvtghtucdluddtmdenuc fjughrpeffhffvkfggtggusehttdertddttddvnecuhfhrohhmpefnvghoucfhrghmuhhl rghrihcuoehlvghosehfrghmuhhlrghrihdrnhgrmhgvqeenucggtffrrghtthgvrhhnpe fhjeeigfefvedvfeetheegledtkeevuddtgedtudeiteehteegvdefffduffefffenucfk phepjeeirdduvdegrddufeekrdeifeenucevlhhushhtvghrufhiiigvpedtnecurfgrrh grmhepmhgrihhlfhhrohhmpehlvghosehfrghmuhhlrghrihdrnhgrmhgv X-ME-Proxy: Received: from localhost (c-76-124-138-63.hsd1.pa.comcast.net [76.124.138.63]) by mail.messagingengine.com (Postfix) with ESMTPA id 8AC1A3061CB6 for ; Fri, 29 May 2020 13:11:53 -0400 (EDT) Date: Fri, 29 May 2020 13:11:52 -0400 From: Leo Famulari To: control@debbugs.gnu.org Message-ID: <20200529171152.GA1454@jasmine.lan> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline X-Spam-Score: 1.3 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: block 40092 by 40091 Content analysis details: (1.3 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 URIBL_BLOCKED ADMINISTRATOR NOTICE: The query to URIBL was blocked. See http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block for more information. [URIs: famulari.name] -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at https://www.dnswl.org/, low trust [64.147.123.25 listed in list.dnswl.org] -0.0 SPF_HELO_PASS SPF: HELO matches SPF record -0.0 SPF_PASS SPF: sender matches SPF record 0.0 RCVD_IN_MSPIKE_H4 RBL: Very Good reputation (+4) [64.147.123.25 listed in wl.mailspike.net] 0.0 RCVD_IN_MSPIKE_WL Mailspike good senders 1.8 MISSING_SUBJECT Missing Subject: header 0.2 NO_SUBJECT Extra score for no subject X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.3 (/) block 40092 by 40091 From debbugs-submit-bounces@debbugs.gnu.org Thu Oct 15 13:03:18 2020 Received: (at 40091) by debbugs.gnu.org; 15 Oct 2020 17:03:18 +0000 Received: from localhost ([127.0.0.1]:56458 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kT6er-0003Jh-Q4 for submit@debbugs.gnu.org; Thu, 15 Oct 2020 13:03:17 -0400 Received: from mail-wr1-f66.google.com ([209.85.221.66]:42709) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kT6eq-0003JE-R0 for 40091@debbugs.gnu.org; Thu, 15 Oct 2020 13:03:17 -0400 Received: by mail-wr1-f66.google.com with SMTP id e18so4406959wrw.9 for <40091@debbugs.gnu.org>; Thu, 15 Oct 2020 10:03:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=MSAk30KeVQmYXM1nKwGlwx+a5XhssxepkBk2qFfIuiQ=; b=bFjuO46Y2a0ngoh/ogGcCi304uUzMrYE/6FSGga33TCVzJKRmZyBI9YIiZpn0BcNm9 aHpyiMlAwEn1mIHllRPEsSYZ9N4IxztJeCc53SuKZMXnargc7/U72tBrS2h8zLWZrR43 UKDzIV/21K427oqd6B7TSIRIRd1wffdkmk6oFWNAUe0nncWJvCxvNuUqazp8HAeD9inH gsWGiNvpHMbjZ/+QcK/mF0XmW/8WUfKa/bMyLa6BQZgRE1gf6M6OxTzOAuc2VE/+5Gex vDK9liO8aHx2IZ1xMWu98x+vgz5u1yRwmKzdiOy5jFmBvEVuE2gMi0EXo7/vNWQUmbgg rQkw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=MSAk30KeVQmYXM1nKwGlwx+a5XhssxepkBk2qFfIuiQ=; b=sIsOFL/bNpz/SXnW2/tvY0SdyonBO1nHpCCJurKGxPZL1QWYCSebaTc5A1urjhXfVo Wk/amQyP8AL1aocab8pu1pVGVlmEWl+fkXRKftalyms1gBrYAEDP//F6hBhnXA35M5Vg 9XR2npqj2ecra1YtLifBHZu6/9nNhjpG/DeFCCQKKVcGOfRdTsfl0eYgYEuM3zyBPPCt pfZ9OHZ0ySmHL3mnNey1gH6KEjt9zAcvEFEy3xbqNuZkUlBimVr7cEzZ7t7UbAovU60K BNJlEkbQAOMsKuRZ+ufa67IV16gv36ewYGK8aG7CqjDeljHLj3Oc54FiCxHsPQCQy6Uc eong== X-Gm-Message-State: AOAM532Z90D2qjPg7UJekxfmXH2vKmeE4XqI67mdWP+J0+G0N7LJfwj6 4R2pVxIfIGtUZEIoLd2AP5o= X-Google-Smtp-Source: ABdhPJyrOcFnkEAO29bKXPmuN7WQp0kczeIYQxzI/Us+ZcgKIjtYzi0uGppceFDjJUW03ddfpQy5xg== X-Received: by 2002:adf:e70a:: with SMTP id c10mr5231879wrm.425.1602781391189; Thu, 15 Oct 2020 10:03:11 -0700 (PDT) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id c14sm5298468wrv.12.2020.10.15.10.03.09 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 15 Oct 2020 10:03:10 -0700 (PDT) From: zimoun To: Vincent Legoll Subject: Re: [bug#40091] [PATCH] gnu: dune: Update to 2.4.0. References: Date: Thu, 15 Oct 2020 19:03:06 +0200 In-Reply-To: (Vincent Legoll's message of "Mon, 16 Mar 2020 17:44:02 +0100") Message-ID: <86eelz1kxh.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 40091 Cc: 40091@debbugs.gnu.org, julien@lepiller.eu X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Dear Vincent, On Mon, 16 Mar 2020 at 17:44, Vincent Legoll wrote: > The added "release" make parameter, fixes the following bug: > make: ./dune.exe: Command not found > > Tested with ocaml-menhir package update > (which will follow soon) > > This may force a lot of other rebuildings, so > may not be suitable for master Thank you for your contribution. The recent commit 339177956a updates dune to 2.7.1. Does it work for your use-case? If yes, feel free to close this. All the best, simon From debbugs-submit-bounces@debbugs.gnu.org Fri Nov 20 16:39:55 2020 Received: (at 40091-done) by debbugs.gnu.org; 20 Nov 2020 21:39:55 +0000 Received: from localhost ([127.0.0.1]:44445 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kgE8J-00011D-Gy for submit@debbugs.gnu.org; Fri, 20 Nov 2020 16:39:55 -0500 Received: from mira.cbaines.net ([212.71.252.8]:37858) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kgE8I-000115-F5 for 40091-done@debbugs.gnu.org; Fri, 20 Nov 2020 16:39:54 -0500 Received: from localhost (188.30.135.14.threembb.co.uk [188.30.135.14]) by mira.cbaines.net (Postfix) with ESMTPSA id C9B3F27BBF5 for <40091-done@debbugs.gnu.org>; Fri, 20 Nov 2020 21:39:53 +0000 (GMT) Received: from capella (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id 5267512c for <40091-done@debbugs.gnu.org>; Fri, 20 Nov 2020 21:39:51 +0000 (UTC) References: <86eelz1kxh.fsf@gmail.com> User-agent: mu4e 1.4.13; emacs 27.1 From: Christopher Baines To: 40091-done@debbugs.gnu.org Subject: Re: [bug#40091] [PATCH] gnu: dune: Update to 2.4.0. In-reply-to: <86eelz1kxh.fsf@gmail.com> Date: Fri, 20 Nov 2020 21:39:51 +0000 Message-ID: <873613k8rc.fsf@cbaines.net> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 40091-done X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Closing, as dune has been updated past 2.4.0. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQKlBAEBCgCPFiEEPonu50WOcg2XVOCyXiijOwuE9XcFAl+4N6dfFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDNF ODlFRUU3NDU4RTcyMEQ5NzU0RTBCMjVFMjhBMzNCMEI4NEY1NzcRHG1haWxAY2Jh aW5lcy5uZXQACgkQXiijOwuE9XcB4A/7B96ppUal7G+RpdwAT7ywtwiqjmnTrLjn 7dD7EwUFcFyx5LOiC1GXcPv7wMc41Kna7fKAtVSt/14LK+MSXx66QRFtGB7KpNvS FtCp56EunRmxKMlEjQtpNOEtvMOZDQS5pJJDD5WfELZoD7Ul5I750sz6u1umQfhX godbvR2vl54Sbf6S/TV+7xWzXx2GcgizoRzPE1sEJIq2AVXuaMuvg4t3lHi6RCgu 7AA7RTnV0URfV+/wUi/sGasSuKRI9Pk0edOeqBhaIJT21idkM2HvPS7E3py4mZZh IScTqlVoB4L5Zs/MxQtFyMFs4Wvy/4IAmZA9GPxMYQHfRU5lVoY+M+T3KtSwMytY IMADJxAeE7BI4gY8mk3qT+5Auux7hP4DeGL63nMSFUzi6gjQpLhpngtI1WBNdjcf WaAw4XME4iCepkQmW8gztWH9A72Q8dVsg39FZ21N3cBCU1tKc6CpfVIIQS1tF63v +fNFhf40hwSnFdfz4IvA8uGcvzoLpHFWjFsG3fT2Cg3GiU7sf4vthkwvxJ/ZJsEB jyE5okrSxtDgba8hn0RIPQS3vK+rQW5LRTSnYKV5rFIElotTmyyqrWg8Nn4UGPx7 31lutrbStlhyJIYdmR2pQkhNpjyMuyqvjVXCI95j96KlD80IsYXXQG6/eOlce4/W RMbmJSRaVSY= =35mR -----END PGP SIGNATURE----- --=-=-=-- From unknown Fri Jun 20 19:56:55 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sat, 19 Dec 2020 12:24:08 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator