From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id hAWbKxgT/GAuowAAgWs5BA (envelope-from ) for ; Sat, 24 Jul 2021 15:18:16 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id mEjkJhgT/GCGFQAA1q6Kng (envelope-from ) for ; Sat, 24 Jul 2021 13:18:16 +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 05433185E1 for ; Sat, 24 Jul 2021 15:18:16 +0200 (CEST) Received: from localhost ([::1]:37988 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1m7HXj-0003rd-2u for larch@yhetil.org; Sat, 24 Jul 2021 09:18:15 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:33836) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1m7HXW-0003om-FY for guix-patches@gnu.org; Sat, 24 Jul 2021 09:18:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:33838) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1m7HXW-0002o2-8h for guix-patches@gnu.org; Sat, 24 Jul 2021 09:18:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1m7HXW-0007K3-3x for guix-patches@gnu.org; Sat, 24 Jul 2021 09:18:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#49423] [PATCH] gnu: coq: Update to 8.13.2. Resent-From: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 24 Jul 2021 13:18:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 49423 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Julien Lepiller , 49423@debbugs.gnu.org Received: via spool by 49423-submit@debbugs.gnu.org id=B49423.162713266128120 (code B ref 49423); Sat, 24 Jul 2021 13:18:02 +0000 Received: (at 49423) by debbugs.gnu.org; 24 Jul 2021 13:17:41 +0000 Received: from localhost ([127.0.0.1]:45384 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m7HXB-0007JS-3K for submit@debbugs.gnu.org; Sat, 24 Jul 2021 09:17:41 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:34060 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m7HX6-0007JB-8c for 49423@debbugs.gnu.org; Sat, 24 Jul 2021 09:17:39 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1627132646; bh=5g8Meysniokgr+/0y8Jhxz0NLb+Jn0DMdBmKJoByPQk=; h=From:To:Subject:In-Reply-To:References:Date; b=mxRwtm9THN52KFHx9sjriILhMbOelWWyjylnrrJSSzF5SAPtvUGx2tHdldWy9vqDw NcwQafCIEgVQh6EzNITS45yOXBLDvS3WlXELn65mwFN/2AW0QpvKqX/hXulVbliDEb RA2RSsKRMNpaiR8amatvHq0mXUoR+BLTy537I3Fk= In-Reply-To: <20210706000640.4630e3bb@tachikoma.lepiller.eu> References: <20210706000640.4630e3bb@tachikoma.lepiller.eu> Date: Sat, 24 Jul 2021 15:17:25 +0200 Message-ID: <87lf5v3l7e.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=1627132696; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to: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=3rVe9ei8K98l7YGp+DmVf24voSX6F9awQvMsG7Abxrw=; b=CBzSNDucz3vbTdYbIZHWIUEMLIZFEPLJ88v0KQoLwBKD4hqsQpCR6k++Hjkj2WGB7NyxHI EhH7HG6s3GW6htsd3Jw5eOtfjNJYM4QsNPbr0lt2JvwqT21hnPHvK4qIa5WYe7mUZqJF8L wWplJS1otCi/2heb/O9Uw18hJhjcH/31v2WFHIWYhgdYPP7GAGN/linJpsTbtXsRE2t9eW Yn6ev+ZkuDTVdq+3g7zMt2iJ4mimDNRn+perO7WobavENKEXktsKqTHYiGpgEuYqN1Djmk +dH2MBiZY/D8xKXzHDxFUzvLwgeegKeTnikwLl38A3LiAOdl5NGT8Br/WjaMIQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1627132696; a=rsa-sha256; cv=none; b=phf7pVhSCp/HJ3ldHNhfGmCH8OFyqZ2Oif1HNWLhlhTYkCJCLtN+KK4Gt9ORssoeptvcwl TSirOry3KJNBDKl9l1NsdhO97rNhTFU18lHcrfmJ2Tzni6qdigAH7ys+EDNFn5RDK3X+2/ gYG0JL/N7HuyCkmY1zEt/LorM+bHC+F+G7zrWQsy1QYUu4OWEbG+xdWHwQgB8pNr0E4uiS 3d9bAomcFnLZ78rdP02bFiYbUZY99vshjkSraJ7HrgxNTnjg+qExh0Bt3iuyrZJaICn9+H Hxm0+z2yCUAJnWVQHrrKUrcxfxyGwFZj/gj/W69PwEhyxbWMuLLcIB3nNwvMpA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=mxRwtm9T; 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: -0.92 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=mxRwtm9T; 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: 05433185E1 X-Spam-Score: -0.92 X-Migadu-Scanner: scn0.migadu.com X-TUID: D3qbftgi6OIO --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable On Tue, Jul 06 2021, Julien Lepiller wrote: > Hi guix! > > this small series updates coq to the latest version. I had to update > zarith and a few dependencies (some of which cannot be updated > independently of coq), and fix the installation of lablgtk. > > This version of coq uses dune, and I split the coq package into coq, > coq-ide-server (contains coqidetop) and coq-ide (contains the graphical > interface). This also simplifies the dependency graph for coq packages, > as they no longer need the graphical stack. > > I tried building the documentation too, but it complains about missing > coq package, even if I added it to the inputs of coq-doc, so it's not > part of this series. > From 73fc06926c86e8dad8bbb61f6a1728343fd2a487 Mon Sep 17 00:00:00 2001 > From: Julien Lepiller > Date: Mon, 5 Jul 2021 17:31:10 +0200 > Subject: [PATCH 1/4] gnu: ocaml-zarith: Update to 1.12. > > * gnu/packages/ocaml.scm (ocaml-zarith): Update to 1.12. > --- > gnu/packages/ocaml.scm | 13 ++++++++++--- > 1 file changed, 10 insertions(+), 3 deletions(-) > > diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm > index cec6eb4f89..5f4ed3ae35 100644 > --- a/gnu/packages/ocaml.scm > +++ b/gnu/packages/ocaml.scm > @@ -1428,7 +1428,7 @@ files in these formats.") > (define-public ocaml-zarith > (package > (name "ocaml-zarith") > - (version "1.9.1") > + (version "1.12") > (source (origin > (method git-fetch) > (uri (git-reference > @@ -1437,7 +1437,7 @@ files in these formats.") > (file-name (git-file-name name version)) > (sha256 > (base32 > - "0hv5ywz1q2cgn8apfz490clwk5hcynr937g2v8i13x2ax4bnv0lz"))= )) > + "1jslm1rv1j0ya818yh23wf3bb6hz7qqj9pn5fwl45y9mqyqa01s9"))= )) > (build-system ocaml-build-system) > (native-inputs > `(("perl" ,perl))) > @@ -1448,7 +1448,14 @@ files in these formats.") > #:phases > (modify-phases %standard-phases > (replace 'configure > - (lambda _ (invoke "./configure")))))) > + (lambda _ (invoke "./configure"))) > + (add-after 'install 'move-sublibs > + (lambda* (#:key outputs #:allow-other-keys) > + (let* ((out (assoc-ref outputs "out")) > + (lib (string-append out "/lib/ocaml/site-lib"))) > + (mkdir-p (string-append lib "/stublibs")) > + (rename-file (string-append lib "/zarith/dllzarith.so") > + (string-append lib "/stublibs/dllzarith.so")= ))))))) > (home-page "https://forge.ocamlcore.org/projects/zarith/") > (synopsis "Implements arbitrary-precision integers") > (description "Implements arithmetic and logical operations over > --=20 > 2.32.0 > > From 76a337769e67e84a32c5b85d80ab6bc160792aef Mon Sep 17 00:00:00 2001 > From: Julien Lepiller > Date: Mon, 5 Jul 2021 17:52:03 +0200 > Subject: [PATCH 2/4] gnu: lablgtk3: Install with version information. > > This is required so recent versions of coq can check version > requirements. > > * gnu/packages/ocaml.scm (lablgtk3)[arguments]: Ensure version is added > to the META file. > --- > gnu/packages/ocaml.scm | 6 ++++++ > 1 file changed, 6 insertions(+) > > diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm > index 5f4ed3ae35..4c8f04f29c 100644 > --- a/gnu/packages/ocaml.scm > +++ b/gnu/packages/ocaml.scm > @@ -6902,6 +6902,12 @@ support for Mparser."))) > (for-each (lambda (file) > (chmod file #o644)) > (find-files "." ".")) > + #t)) Nit: no need to add a trailing #t. > + (add-before 'build 'set-version > + (lambda _ > + (substitute* "dune-project" > + (("\\(name lablgtk3\\)") > + (string-append "(name lablgtk3)\n(version " ,version ")"= ))) > #t))))) Likewise. Otherwise, looks good; everything builds fine. :) --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJJBAEBCAAzFiEEAVhh4yyK5+SEykIzrPUJmaL7XHkFAmD8EuUVHHB1YmxpY0B5 b2N0b2NlbGwueHl6AAoJEKz1CZmi+1x5eQoP/3iNFFmYkKxO0IlSYjzgElx/AhTl yXteOJSI6aV3YTJ8FbjwnYBEtYyEQ3CPCf3kGFpg0B3iXGheqkgtAy3SmnEPQygw dM5qu5HU/IAcK/hwWSvji04STwCtpRBj1Dhe06LM+5Mb3kQScHAIGkrfANRlG9qe QbCI7t87jVQaKCFJrInB04StAErEYMy4tTFI4xT33IOoWCx5b5n45LX72g5kmSRo xewKamw0cUkWJry4fKDs9Out1OzoCekqISkusELm5tqdBNgeUNFcduRgVas3pyaS 6B5HFbqE+6RIcEJVXG8qzi142wQH3bf+N/dawPXxPL1qSBwhLlp4FNR9+5Wx2Ad/ mH9HDohYiHh15wOjkKjwP+ZJCV3EdfK6DflsFToFJQQSNjQ1BzRdkLg9rMIWwvaR QkBSiG/o1XRWmcDtYHHvxncNz2S1TUfGrlR95BhesVDMxVy0I7wFY0zanrKvBue2 U7+lMVQP+/nZFF9AgrfB9lflx4EagTfT8yC+14Nj9s2IglqQIQCjAeiJ1l6mGVaZ fxzYjy15+LsRcAOLFlTA98CZpiAcvE20vFIRdmNDlOsigdvcbGSL6M3qBDrYeQkI X5m1BSJP1OtirhEzVBT8LZGdqw+NcfFZnOVB2ZRLp7EsvqQA9FTw7pOIklxSOQ1v CgZs7dAHUtYmJxkK =0CHK -----END PGP SIGNATURE----- --=-=-=--