From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id WB5+HwRRM2GdHQAAgWs5BA (envelope-from ) for ; Sat, 04 Sep 2021 12:57:08 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id 0FA3GwRRM2HOEAAAB5/wlQ (envelope-from ) for ; Sat, 04 Sep 2021 10:57:08 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 0F66CD572 for ; Sat, 4 Sep 2021 12:57:08 +0200 (CEST) Received: from localhost ([::1]:56658 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mMTMB-00025o-5Z for larch@yhetil.org; Sat, 04 Sep 2021 06:57:07 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:58998) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mMTM6-00025g-OX for guix-patches@gnu.org; Sat, 04 Sep 2021 06:57:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:35200) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mMTM6-0003jR-HW for guix-patches@gnu.org; Sat, 04 Sep 2021 06:57:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mMTM6-00074k-C5 for guix-patches@gnu.org; Sat, 04 Sep 2021 06:57:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#50317] [PATCH 0/2] Update =?UTF-8?Q?=E2=80=98ocaml-ppxlib=E2=80=99?= Resent-From: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 04 Sep 2021 10:57:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 50317 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 50317@debbugs.gnu.org Received: via spool by 50317-submit@debbugs.gnu.org id=B50317.163075298227142 (code B ref 50317); Sat, 04 Sep 2021 10:57:02 +0000 Received: (at 50317) by debbugs.gnu.org; 4 Sep 2021 10:56:22 +0000 Received: from localhost ([127.0.0.1]:46746 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mMTLS-00073i-5T for submit@debbugs.gnu.org; Sat, 04 Sep 2021 06:56:22 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:33422 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mMTLQ-00073Q-PY for 50317@debbugs.gnu.org; Sat, 04 Sep 2021 06:56:21 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1630752969; bh=7SWw/ecaFtsYWaP8AqMmXWbh1KI1CKi7HiTcP3hS/MY=; h=From:To:Cc:Subject:In-Reply-To:References:Date; b=S1hTYTB3CberjQfT/8bqqbO/O5c90j36ReMUsJFDuCXJpJbyrBNZnv1Gfj/kz8gZZ 7Vnlv3Jqd/J3yBFXDuhVko/njwUX+7aREdeppslzJNJ/50BhwANPEY7jXn4v8pZIGd 1Pbkoqtppi7H3GfAlXTvwRF6pkub8+oo7K1qnv5w= In-Reply-To: <87lf4dz980.fsf@gnu.org> References: <87lf4dz980.fsf@gnu.org> Date: Sat, 04 Sep 2021 12:56:07 +0200 Message-ID: <878s0chans.fsf@yoctocell.xyz> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1630753028; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=KFh9G2bf+zy3uQqPlH6iCxyTdL5uhZGNrsVnt0ImJqg=; b=P5GsIUTO8HYsZhXbZVuxzG3KzxpR8831QIFyaO4Rer8kgM5zp855UamwuoCqAJ3iHhjRHv xkwjqofLq654V9dU24vHVBTZ6NVzia0/zjDguGU5eyL1dU1fP5CrGkAqQPFdsma11opc3d a1mp1FWpK0iPrN/ABgRMoz4qtUXvkQq0g9QGawqeVjsYhQypAHNE3uWGThd6JWZAxtXenn B/ssahhNFtQjT0MAhFfjOzN8GdLPzUESHUSnhfhevmACnqzLaApGVwDdeAveG46E8OzfwR KsrAoCCC95DEuqMhV75oIw9XCg+9m+DD+geHRhKBUFPmKeCcbsPbam/fGu3QTw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1630753028; a=rsa-sha256; cv=none; b=ZgSVp6uY06+INGwkXrv1h98ahAmSVoHi18IRbPMR/MtRNlD86xY89yHdBNqZgtLqRgvTt7 37FFJcWLqtzK627wlUbKkDd20i7IeZGSYwdgr/mG/0GaJ3CSWfMXfG2dL9iobxDQZC5Sgj hjFr5qQ3Um8KeP0ZFTe4yV+ETkQfp7B3w7s1XWwm/q9WWlz1asyYc/UReUStJpDHOwticw y4izTptqncIN5cHX9wJ42FuBTZt3u62p6xKPjDqOIQtnboMvcMqskONqAjmFrMGiiVB9s5 8Evh9yzZEYS7Qn+25xG4zO7DJnNgK2Fn3hInoH35x/iLwF/jrUklcIJ7fuNhZg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=S1hTYTB3; dmarc=fail reason="SPF not aligned (relaxed)" header.from=yoctocell.xyz (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Spam-Score: -1.92 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=S1hTYTB3; dmarc=fail reason="SPF not aligned (relaxed)" header.from=yoctocell.xyz (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 0F66CD572 X-Spam-Score: -1.92 X-Migadu-Scanner: scn0.migadu.com X-TUID: nTSbVM7/z8Du --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On Fri, Sep 03 2021, Ludovic Court=C3=A8s wrote: > Hi, > > Xinglu Chen skribis: > >> =E2=80=98ocaml-ppx-optcomp=E2=80=99 fails to build with the new =E2=80= =98ocaml-ppxlib=E2=80=99, updating >> it makes it build again. > > In that case, I=E2=80=99d suggest updating both in the same commit, so th= at each > commit contains a working package set. Or maybe I could reorder the commits so that the =E2=80=98ocaml-ppxlib=E2= =80=99 update comes last? >> gnu: ocaml-ppxlib: Update to 0.23.0. >> gnu: ocaml-ppx-optcomp: Update to 0.14.3. > > Unfortunately, at least one dependent fails to build: > > --8<---------------cut here---------------start------------->8--- > starting phase `build' > File "src/ppx_variants_conv.ml", line 69, characters 22-41: > 69 | if Caml.Hashtbl.mem Lexer.keyword_table s > ^^^^^^^^^^^^^^^^^^^ > Error: Unbound value Lexer.keyword_table > command "dune" "build" "@install" "--profile" "release" failed with statu= s 1 > builder for `/gnu/store/g73id3dchmqc0dirv9ahzmgbwsyba78b-ocaml-ppx-varian= ts-conv-0.14.1.drv' failed with exit code 1 > --8<---------------cut here---------------end--------------->8--- > > Could you check this one and other packages returned by =E2=80=98guix ref= resh -l > ocaml-ppxlib=E2=80=99? > Good catch! There is a patch that should fix this issue[1]; should I apply the patch to fix the build? I didn=E2=80=99t build the =E2=80=98ocaml-llwm=E2=80=99 packages since I wo= uld have to first build =E2=80=98llvm=E2=80=99 from source...[*]. The =E2=80=98ocaml-markup0= .8.0=E2=80=99 fails too, but it was already failing before applying this patch, so I will send a separate series to try to fix it. I also had to update =E2=80=98ocamlforma= t=E2=80=99 to make it build. Thanks for the taking a look! [*]: I have noticed that substitute availability has been pretty poor lately. :-( [1]: --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJJBAEBCAAzFiEEAVhh4yyK5+SEykIzrPUJmaL7XHkFAmEzUMcVHHB1YmxpY0B5 b2N0b2NlbGwueHl6AAoJEKz1CZmi+1x52LwP/0FqZjNJhOoeOU9/qSMszy2w2S9j jdM/Vr5TtWB+ft75NaT2Mlw0jMkb9K4QU0Zb3NuS6ZxIpYeOKh/Hst1lCwPelGUL z8qyfWB2QAbBh42IGLWKGiMX6mTPv+rJQy6mD5H+fanz0N99PJwXkKloLN3PBtVk t1RxvTh/Qc3UFISX/6gLpiOmLzKnpvfszKjQuekzyDr1ZwxS5pigq8OVbqeC+7xz /bisuMJpu1WBpvWYbQuyXXMfm4F0sS2TuYw4mwTUl2ZNvPDs9Vu/DX1dHfTEtXG2 6JmC388781KWwC+W/W9Wd4oiXmUEevNBdRJpxl7MW6Lj1HRhORNIxjfdPXYkltYj 7wnrp3CsDuDDa+KZapteTrGzXhbfyYCOGZkaI5/VS5U/j4YwcPSYAaq0IOYhX0aO kMR8YK6IqeZ6XQhd622jexLWORbfLSZ+Kzeaqm7AHX0QU4vZ6vGO1iAapzss0Cq0 rVWO578/EOkctFtlMIG+Vc6zU/OIllS27NjUJBm62mctsXAV75KdJX78zjmr/h0G 7lUed1VBw5B8GMK4Y4uDIx0Rml45cB/7/3k7hfT6L65GFXcZl/+42TX2888Loqwe ywYzC/nye4pV2i++RQALKhK3kLG0knoss/prTHxiZKVxyE6Chwi8O6qW1z6ZvSx6 gUT3i+9jwzoT80sx =LCbO -----END PGP SIGNATURE----- --=-=-=--