From debbugs-submit-bounces@debbugs.gnu.org Tue Dec 17 14:39:27 2024 Received: (at submit) by debbugs.gnu.org; 17 Dec 2024 19:39:27 +0000 Received: from localhost ([127.0.0.1]:60376 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tNdPi-0001aa-SY for submit@debbugs.gnu.org; Tue, 17 Dec 2024 14:39:27 -0500 Received: from lists.gnu.org ([209.51.188.17]:53446) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tNdPh-0001aS-Hm for submit@debbugs.gnu.org; Tue, 17 Dec 2024 14:39:26 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tNdPh-0003oE-90 for guix-patches@gnu.org; Tue, 17 Dec 2024 14:39:25 -0500 Received: from mail-dm6nam12olkn2064.outbound.protection.outlook.com ([40.92.22.64] helo=NAM12-DM6-obe.outbound.protection.outlook.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tNdPa-0001Wi-F8 for guix-patches@gnu.org; Tue, 17 Dec 2024 14:39:25 -0500 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=gxL06+4IVB5tehA0AokyVMlyQPtjLtCgDyWJ8Irs5P8SnVZ4HRqgIBrGRri1pXS5U3XsDL36flvp7OjU0w4OyoOne/ANLasxCfJPx7prufR/el5/qxVBLSGCDrWpks1swI5DRVXBjbmQEArHN54icF6dkDomovLCtI7bjHx9XOK987AEQ0gSMqXIoi7uJhH+hC3lwy6NiUBbBjs2YoUBqag+kZW7zme0WJjCjDSG0nUyCl14iupewVUvlOnLInX7n2JTli9YFQW+biNBOAWV3t1qGpItEYtgiIcBmdDVDEivosT7DQY4mT4ppOQWAxKjo6/tOwajJnqofPohNsyooA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=rshrcO9jCoIONmL8BXUMxcl8u+OP+KfMxT2H/ISNn44=; b=Br3rpf/CgCLcSjQVdCTx+FbOaqy9brnH+Rz2ljlmz+1n51VtGtv5giNwWNaFAmmYNe+zclAronWfVXdF3aBrb9G2ah+bY3yiAKpApRrvHPjA+A4S9HlEMEvhhwLm9TmBduWfdSZ0ogsnkq2/+vfdUyPQ9ckhVX0SkTPVSn6lSDi+Ziy2JOCBMTBqsn4pbwh0JcqcketryzkWy1uNZ/M7kCF/maEKsAbO7LtGRWQdNbaneaxqMPqP2kYt2jqMENBBO432HjGzaS6Q/s3p4P7sqd9uQtsvht+N2U1wEeIo4qkuMrI+PdG7FonHzgDa9kozlgAHtwbilY7M1dOdw33I6A== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=outlook.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=rshrcO9jCoIONmL8BXUMxcl8u+OP+KfMxT2H/ISNn44=; b=uf9nUL5044TP64WhwCWTNk9q/lWJZrbSfVb/N6weiku+BDzzBw0PzwRYb9A5g3/MWVSBEOUaxRVmyWfcm7sR8nfedTNiAYvcvbEEinE+dxrLnQY4RgXMwak1NjydgAWvPeXw/if1K3BCVhDJJFF/SZ0dIjManwcZaI8S2lgiPPC4x0oxX4NE6LZBMWQ3YDGvQpw5tLJX/HTuAw6f4DPrHGndC9Cc6FgQeDjRH59jPIEnBeI5GcpDymN+L+WRBuISCbu/d6AM/bNuJghoA5V4vzU9KDoDrfH8L7IKHoMGGiV4/qVYGuEqZ2xAYDSRkFEd75k+gDtoJbWo2IuEW1e4oQ== Received: from CH3PR84MB3424.NAMPRD84.PROD.OUTLOOK.COM (2603:10b6:610:1c4::17) by MW5PR84MB1796.NAMPRD84.PROD.OUTLOOK.COM (2603:10b6:303:1c6::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8251.21; Tue, 17 Dec 2024 19:34:12 +0000 Received: from CH3PR84MB3424.NAMPRD84.PROD.OUTLOOK.COM ([fe80::5c77:7a58:48ed:9aef]) by CH3PR84MB3424.NAMPRD84.PROD.OUTLOOK.COM ([fe80::5c77:7a58:48ed:9aef%4]) with mapi id 15.20.8251.015; Tue, 17 Dec 2024 19:34:12 +0000 From: Morgan Smith To: guix-patches@gnu.org Subject: [PATCH] gnu: proof-general: Update to 4.5-1.d668946. Date: Tue, 17 Dec 2024 14:32:15 -0500 Message-ID: X-Mailer: git-send-email 2.46.0 X-Debbugs-Cc: Julien Lepiller , pukkamustard Content-Transfer-Encoding: 8bit Content-Type: text/plain X-ClientProxiedBy: YT4PR01CA0288.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:b01:109::16) To CH3PR84MB3424.NAMPRD84.PROD.OUTLOOK.COM (2603:10b6:610:1c4::17) X-Microsoft-Original-Message-ID: <8620680601e59a43ec722d9b39cd9a35ee3b1913.1734463933.git.Morgan.J.Smith@outlook.com> MIME-Version: 1.0 X-MS-Exchange-MessageSentRepresentingType: 1 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: CH3PR84MB3424:EE_|MW5PR84MB1796:EE_ X-MS-Office365-Filtering-Correlation-Id: 0ad873ec-e280-4d4a-b67c-08dd1ed1c8cd X-Microsoft-Antispam: BCL:0; ARA:14566002|5072599009|8060799006|461199028|15080799006|7092599003|19110799003|440099028|3412199025|1710799026; X-Microsoft-Antispam-Message-Info: =?us-ascii?Q?GWFRObcWNOUzbtKncfQmNtFjEv5kcRh4wBtPi1/amlnJYkeiXZh+H0Yjs+kk?= =?us-ascii?Q?jmRQz87zMTBoQ4PXjcHOjL0szNfbcRx0Vk+kiI2qtU3cXjQfs7v+R0q1B1El?= =?us-ascii?Q?yE9NzoefBZOfyKOEWpAH14FnArTpZWAR5aVechjDXFC72sE1RUHZ/DIMNiDd?= =?us-ascii?Q?QJHiWIPV67lSvSt/++1Satr59TubBphRVVbO0CONhPduxKBwolEmRhnp4WL/?= =?us-ascii?Q?h2kTPCqKYb9c2PLjw8F205O1OLkzAlydy04jeBw3edanD6MLY+OFqdV4cwIR?= =?us-ascii?Q?bdG8hTb+sUXFzji/oPGq/8oEyeO4PDARvQ6nhAIihv0RW9EgBZ/Z6saaoKIg?= =?us-ascii?Q?dpzd8pOu1CsuJ9AoYDdMjRqmveVdH6UeHx0Z4LpcjPE+e4BuejmGiFV/oROp?= =?us-ascii?Q?qxfVYxdKWyYmNDILqgIGzeWE/CO2sx8Qh2VjKMNffMEk9jF8lRZzK79e41xa?= =?us-ascii?Q?Nrt3dDjjAJSz9qGXTP5fTbYSA0GyMgEi8KA9pI7whdBKUKPzSwq38q1TcUlw?= =?us-ascii?Q?pn6axFZ9otiFDiINFMzsUVhLcZuXVxL9QbsIFpNHZA9+WWkWEDCZiz8UFlHi?= =?us-ascii?Q?9RmYm7AkYu1Ewo0i81jIQstaSxSxmsC5hc0LBfoBdiGeaxfU0TKU5me5bGfj?= =?us-ascii?Q?B1qLy5mKUpr6S0tP+RUDMzp2+qlwX//Egbn7A1BJZ+TOU2YRL2ODtAPHXGtK?= =?us-ascii?Q?PGPXDSmZGNzYtUIla/faHAR8if2GF1ZevZXTfMrQAMoFHo3E5EnLj2q31GNy?= =?us-ascii?Q?OQSFN2dWrDvYhUe8dpPru0/bLwtvzsp15UohZg49exeiHgm7tVoujaDxoeE7?= =?us-ascii?Q?n0XGL3r4K2+ftLYoUBJ1yd+iCaQ2CIFsFQOclF8O5B5o0VJUZ0+77ytdJGVj?= =?us-ascii?Q?bnT435GsRukCp5mRbacrt24XqK3Ah/57d4Mf+e8Svupl5JA0cKNqSaG+U5PK?= =?us-ascii?Q?+lLIs4JHFsRqn3gVUAH1PU3/LAYkEE6e0WLheO2aX3YZgNtZrSyTFo5X6fPu?= =?us-ascii?Q?qHmQIIAMsV0S4NYKQY4DsNUjEvG7neDw6KYWzft9yz0faewxP6qvRsYTvb1O?= =?us-ascii?Q?69apZ8ii?= X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?gD9NCthtVaIYyf6sislDvxpIh9Q713y3yGgvGsWITRzzGo1tk0/GeqCqfR6X?= =?us-ascii?Q?CV3UJZ7GjYYPEBrIYk4LGrjS7wQZWVFsmpS+f0XBCfloDvgKlB5p16HG1KLE?= =?us-ascii?Q?jBY2YjfnQLx1TlHPeEzWi2icjNextPP3k2jk/C5j73pUom0OYfJQpY1vgfS+?= =?us-ascii?Q?l87ktrKULjPd1vRQdbTTh8p4Lw9IdGPUNNYIbq9VEId5vP6D03hGpapLlyyK?= =?us-ascii?Q?fv8Xsr2TfTz0Myr04VDmqfNAighjpxfXpSkpT8pc5U/f7SD2uhN3LmczPoH3?= =?us-ascii?Q?g1et1SlO+bTo3HRjvgwqIEP+vMXha+IzjEft3GH8dOUEdz+P140GLsJuIFqi?= =?us-ascii?Q?Fqm7Fhakhi4TvI5vJdhnEU5gOLuNw2dpHRhq+8o2w7083LZ6okHLj4u94MG0?= =?us-ascii?Q?DCtCI3zvv6FPw6ETMo2wfkwMgTsGLzZzSXMnmKhaPQOu5C45e5XwPDOZ9Znt?= =?us-ascii?Q?mVXXHuqy64Jc89zhTLdDu1sZ2k5C22EXCseXvJ1DVaT5247cyeCt/jjFPrSg?= =?us-ascii?Q?DnOA+PV3rAhJIjDBPpmIHZXPLvtiEMPEbKfp57F8MB/4Zsqo1Lwvh4r5+69M?= =?us-ascii?Q?01FKjuU0kFhdLxsdy+lkwvMzHH1uRjMu7yjGq9ml8ta68755k00q6KGN40sq?= =?us-ascii?Q?WiT2bczSCDKs2NYz4OUquBi7jd2xV3IdR6NhTcvwZghS0AjB8nQRcPBLO5wW?= =?us-ascii?Q?xorMRgoaZJ8eUUJAVK2+e7eKo78NlMDLRUxRdYG7dn4R0P6v140wJEMILGWZ?= =?us-ascii?Q?rqCCV1P/9l3trb440sAwPu9pB0t98Ao8xF+c2LrUHJpTFS68f5NVt7xlbRgq?= =?us-ascii?Q?hmlJLXcRaL8k/yae1JVbLL6CVszoZY5BT5iWB46lv28Vaamvj37Ii1UvyeaF?= =?us-ascii?Q?1PcdoLPkVJiuZ4wrZnNG24vQYjG2LUb+jNho0E/9WMrVdDlHd0XhthYKGPdv?= =?us-ascii?Q?pocgfs5ECrbsSTL1kOY4NtSbZMux7rZlKh24sntkLlG7IZozBs2ssut3q5RV?= =?us-ascii?Q?BTh7zk8YNKVqgcm9x/o5SpvDR8VURihMMU0N33Ft6wYPEqOwsjTDGhdYQCzu?= =?us-ascii?Q?EXOnKVdC28sRXy0mlH4u2XXPCopHMK7IQwYHiwra2WoGTOihw2WWImZ4auAs?= =?us-ascii?Q?xcQJVDLnzTPm+1IbVQ2RWieIC9qXyDHRpY+mBoRVEhglOXwYYKbVg4VSUZIu?= =?us-ascii?Q?5X6A3kAXWWUfRk+D6UCTMBZNoWBL2MRuQll2Ne2fKXofPqJmT07budRSJ+8a?= =?us-ascii?Q?8dYfoq1IERsNGBvjOCmH?= X-OriginatorOrg: outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: 0ad873ec-e280-4d4a-b67c-08dd1ed1c8cd X-MS-Exchange-CrossTenant-AuthSource: CH3PR84MB3424.NAMPRD84.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 17 Dec 2024 19:34:12.6614 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000 X-MS-Exchange-Transport-CrossTenantHeadersStamped: MW5PR84MB1796 Received-SPF: pass client-ip=40.92.22.64; envelope-from=Morgan.J.Smith@outlook.com; helo=NAM12-DM6-obe.outbound.protection.outlook.com X-Spam_score_int: -31 X-Spam_score: -3.2 X-Spam_bar: --- X-Spam_report: (-3.2 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-1.116, RCVD_IN_VALIDITY_CERTIFIED_BLOCKED=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit Cc: Morgan Smith 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: -2.3 (--) * gnu/packages/coq.scm (proof-general): Update to 4.5-1.d668946. [phases] Remove unneeded phases and fix shebang fix. Change-Id: I5ce2775cf18775737853d76b5a50d461aa9d14e6 --- Currently the coqtags program included in proof-general does not work as the shebang is patched incorrectly. This patch fixes that and updates proof-general. gnu/packages/coq.scm | 24 ++++-------------------- 1 file changed, 4 insertions(+), 20 deletions(-) diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index ea0868f226..e6df4bf98f 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -135,7 +135,7 @@ (define-public proof-general ;; The latest release is from 2022 and there has been more than 100 commits ;; since then. ;; Commit from 2024-04-29. - (let ((commit "cb23709ad0c9a9ca0ee48b3ee73c29caea243b98") + (let ((commit "d6689469298b4140dc1f0f8b0ff7e8f937041ffe") (revision "1")) (package (name "proof-general") @@ -148,7 +148,7 @@ (define-public proof-general (file-name (git-file-name name version)) (sha256 (base32 - "1spd8rz95s1x91i4lbbb6zabb8014fihx6ai6pgad1nwyr0y9bir")))) + "1d12z41rn5nh15qj4sf0w8xrbd9djxlrz0r6g38fiq63i7krbm4x")))) (build-system gnu-build-system) (native-inputs `(("emacs" ,emacs-minimal) @@ -168,30 +168,14 @@ (define-public proof-general #:phases (modify-phases %standard-phases (delete 'configure) - (add-after 'unpack 'disable-byte-compile-error-on-warn - (lambda _ - (substitute* "Makefile" - (("\\(setq byte-compile-error-on-warn t\\)") - "(setq byte-compile-error-on-warn nil)")))) - (add-after 'unpack 'modify-readme-name - ;; The README file is called "README.md", but the Make variable - ;; "DOC_FILES" still refers to "README". - (lambda _ - (substitute* "Makefile" - (("README") "README.md")))) (add-after 'unpack 'patch-hardcoded-paths (lambda _ (substitute* "Makefile" (("/sbin/install-info") "install-info")))) - (add-after 'unpack 'remove-which + (add-after 'unpack 'do-not-patch-script-shebangs (lambda _ (substitute* "Makefile" - (("`which perl`") "perl") - (("`which bash`") "bash")))) - (add-after 'unpack 'clean - (lambda _ - ;; Delete the pre-compiled elc files for Emacs 23. - (invoke "make" "clean"))) + (("install-bin: scripts") "install-bin:")))) (add-after 'install 'install-doc (lambda* (#:key make-flags #:allow-other-keys) ;; XXX FIXME avoid building/installing pdf files, base-commit: 8e71580aae17f0c84896519d63246ab4bbb77fc4 -- 2.46.0 From debbugs-submit-bounces@debbugs.gnu.org Tue Dec 17 15:28:52 2024 Received: (at 74931) by debbugs.gnu.org; 17 Dec 2024 20:28:52 +0000 Received: from localhost ([127.0.0.1]:60468 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tNeBX-00040g-QE for submit@debbugs.gnu.org; Tue, 17 Dec 2024 15:28:52 -0500 Received: from mail-qk1-f196.google.com ([209.85.222.196]:52465) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tNeBV-00040X-Qi for 74931@debbugs.gnu.org; Tue, 17 Dec 2024 15:28:50 -0500 Received: by mail-qk1-f196.google.com with SMTP id af79cd13be357-7b6e5ee6ac7so447314985a.0 for <74931@debbugs.gnu.org>; Tue, 17 Dec 2024 12:28:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1734467269; x=1735072069; darn=debbugs.gnu.org; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to; bh=3UZQXKRDNfo9st8mVuZQwjhNO3hwummtxes5kWlMQUk=; b=PFeMYroaOqVf+TIAOkQoNI2crBvBC34xufz9ed+++OURnNbn9d7JZ1Nzbbhidu5+M+ Bm+j3qCvxrHFzEOkfnOD+gCy3HTw/uZfwAAFmS8SL1RF/AWMy30qQmBQPXGQUv8k6mVZ iMyBAP2RlSY5/CU5XMuMKAxMqmxQV73IH80fuoYIgykYfx/i61Uk0BMI8tZjnLMMTKJO 74mGkDGV1/FG+4Yy7mNCw7WHXbnCnY/LVOY8Q/hnJIELeEY6EjydV0SvTyQP4iVzvT3a KujhoQUKiSsa6gkSLF5vGMXJQHFv9YJiMqrx1+ebaqY6adtj58vOeixvkzWAkdxRzOV1 Q7Wg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1734467269; x=1735072069; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=3UZQXKRDNfo9st8mVuZQwjhNO3hwummtxes5kWlMQUk=; b=BrVMlEppIfekctV/Xs+PkhEru122+589Db9kTEq4Iu68R0Zd9b3KZpHU2OMQZ9ynS5 M/ipdKUettxGGCBGBcGu6Ex8tWg8cNO+wmNlpZ2AQ8eiaDX8axPg3SyxzIgZPSA/7f6R 4p7cz+/D84XaCSgrcH3OA3VafgQUaIsr2JIfcqwg1FWk7JpsRgm5sz0+EI3Eoxk4lxsU yOv8OrWxXxcguCMHYRBG51yyQt+kFeNdCrrzy71hL798n3x0CM+0zQauOREgO2Erer7B W8ji2Z83h/UnWsHynGwzcjJdfGygkRuI+D2O0yu4wFlAL1YkZewCvW/yeEb0dI9q8sGB mfsw== X-Gm-Message-State: AOJu0Yz5AwOe9Oz/tgWaR2ExgbsSALuzcec2G/qEO1bj1vzF0ZiCw2N7 /3vrrvXp+Rbrc/S/Qi9I7wMPIH++BJAMyk8aTZCTth5/J0K3PmLd X-Gm-Gg: ASbGncvnxP4sgSy8Gmd03vkRY5+4S70FfHGA5Bden+t02VicZuWVLaOtcOWuEvKy6UZ J+d0M8xQsNUs2CZLUZdT9OxCpAVbu/s5A0eZibWu0QqVG+S0hGZvKKoJ0XjS1TsPQEFEDGMWc3T Usjgq2wgU17kAkySG0caZsfNiX+LV9RHIQm9Zvg/D1wvfP+KYdweqMDALnQr42i9cKFEA6kOose p8bfFozxSD5VqbSNfXYxr3DGbkTiR2goNnmO4UTfjqy2MmgVD6GISeKtAlFx5INyYj0xcSXMmwp n/z9Gvpp4ERtIbUyVg== X-Google-Smtp-Source: AGHT+IGp3OsAALUS6+GitL+XEc4tDaMNuSi8nZWGMnGIhSx1URrqEzAeFIfPnI5j+xE+ytvboXzHfw== X-Received: by 2002:a05:6214:2586:b0:6d8:9215:f462 with SMTP id 6a1803df08f44-6dd091d54d7mr6230966d6.22.1734467267524; Tue, 17 Dec 2024 12:27:47 -0800 (PST) Received: from gnus (mtrlpq0776w-70-26-179-129.dsl.bell.ca. [70.26.179.129]) by smtp.gmail.com with ESMTPSA id 6a1803df08f44-6dccd257215sm42425756d6.41.2024.12.17.12.27.46 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 17 Dec 2024 12:27:47 -0800 (PST) From: Suhail Singh To: Morgan Smith Subject: Re: [bug#74931] [PATCH] gnu: proof-general: Update to 4.5-1.d668946. In-Reply-To: (Morgan Smith's message of "Tue, 17 Dec 2024 14:32:15 -0500") References: Date: Tue, 17 Dec 2024 15:27:46 -0500 Message-ID: <87y10eyrzx.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.3 (/) X-Debbugs-Envelope-To: 74931 Cc: pukkamustard , 74931@debbugs.gnu.org, Julien Lepiller 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 (/) Morgan Smith writes: > * gnu/packages/coq.scm (proof-general): Update to 4.5-1.d668946. > [phases] Remove unneeded phases and fix shebang fix. > > ... > > diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm > index ea0868f226..e6df4bf98f 100644 > --- a/gnu/packages/coq.scm > +++ b/gnu/packages/coq.scm > @@ -135,7 +135,7 @@ (define-public proof-general > ;; The latest release is from 2022 and there has been more than 100 commits > ;; since then. > ;; Commit from 2024-04-29. > - (let ((commit "cb23709ad0c9a9ca0ee48b3ee73c29caea243b98") > + (let ((commit "d6689469298b4140dc1f0f8b0ff7e8f937041ffe") > (revision "1")) Shouldn't the revision be incremented as well? -- Suhail From debbugs-submit-bounces@debbugs.gnu.org Tue Dec 17 23:08:28 2024 Received: (at 74931) by debbugs.gnu.org; 18 Dec 2024 04:08:28 +0000 Received: from localhost ([127.0.0.1]:32855 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tNlMK-0000lr-Di for submit@debbugs.gnu.org; Tue, 17 Dec 2024 23:08:28 -0500 Received: from mail-bn8nam11olkn2035.outbound.protection.outlook.com ([40.92.20.35]:27377 helo=NAM11-BN8-obe.outbound.protection.outlook.com) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tNlMI-0000lb-06 for 74931@debbugs.gnu.org; Tue, 17 Dec 2024 23:08:27 -0500 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=OoZ6LibnVCxwQyBcLraOIYPQBt6XsOPQJ3ZKOX+wA9tdQp2RoFbZt0xv1Ty5k+6eeECJvzzMQPKyli06sIiqI3VRJF3EYwYgD5FsvOtNaWborGfNlSqHLkUOSOlFlwXTUazb+BOOT0ukQiXDkpdqlqwqe5EZPSAFvan42Z+0tjFZUIGrQjdyL3SgJlNimLt40pnn6yrKvxqbrxKMGm4+sCM5t/jGkICYx5QMpDiF63iFKKUm5550c++KhSyG8IYSevKRK1MGqIDEs7/n1q6cr5jFdPGu81I++hYWlCbYpGgubI9/Uct8em0G3JBzbiXjZeJ5zo8a+nsBkq71qQ2obQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=K5ELv4y9fXAZpcHkHEeNbVJud3rinNBVLKyrruxOERk=; b=qvIxqlvsPV1e87xbgx2d9BPXxYLnOwe+dq8cjPu8IpBxOvk5v4xeWA65kP/oRWfosH1AeUCezgOyjMgaqzkdfBtqXgsxMQu9KkpBzPF9qlOArenZvCqeJhTqWiW3KMKV1wzaK+txzUXSGBU8VItYeRWLOVPffrueRD4vNCawEZhIi2M+lL1LxTO9x3zJ6Yr37t+oi7APBPmgKBxxuJyBK9roKAvCv+fid1EMHbgt0XX+BoJIzglouiFFkYIQtmV+9EDfGeO39wxAr2w47AS+8XI3QyiGSW03rc95XDRb01eMOMomNj83sY06+n4BPIs3E9Cz9nRzDBlfg7AEv5TueA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=outlook.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=K5ELv4y9fXAZpcHkHEeNbVJud3rinNBVLKyrruxOERk=; b=qvLrKnqqmzP523/+sWPozD+kFxrbqlPGB0aS69ulJkNyyJ7yoTbttK9TjW4ABkztvkcbgQ/1r3EJRVwUtLyPCiPkB9oGVzu6SAKVakVbbGifeAtQavpPhgXx3APeao3e3xjHnBgM2BLsG6A11ZoDKUt8QmGLaSxif3WF3Y8M0ONi2nHOOxltzeqMhm/4WScIkGp1n4QM1iODZI7AE7gyJf9DgXE5BBYZ/6JInhNH9T9CY2HEygb9lWRjOzgzHFkawTRaS2xCi1+Yh6AmXFsbaSS9Iu5k3WLIIwqgtCozzGLZ8xb+/qIuYs1QxyAZLlN52yiq0VrwGoA38M+t47uW0g== Received: from CH3PR84MB3424.NAMPRD84.PROD.OUTLOOK.COM (2603:10b6:610:1c4::17) by MN0PR84MB3889.NAMPRD84.PROD.OUTLOOK.COM (2603:10b6:208:4c3::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8272.13; Wed, 18 Dec 2024 04:08:10 +0000 Received: from CH3PR84MB3424.NAMPRD84.PROD.OUTLOOK.COM ([fe80::5c77:7a58:48ed:9aef]) by CH3PR84MB3424.NAMPRD84.PROD.OUTLOOK.COM ([fe80::5c77:7a58:48ed:9aef%4]) with mapi id 15.20.8251.015; Wed, 18 Dec 2024 04:08:10 +0000 From: Morgan Smith To: suhailsingh247@gmail.com Subject: [PATCH v2] gnu: proof-general: Update to 4.5-2.d668946. Date: Tue, 17 Dec 2024 23:07:05 -0500 Message-ID: X-Mailer: git-send-email 2.46.0 In-Reply-To: <87y10eyrzx.fsf@gmail.com> References: <87y10eyrzx.fsf@gmail.com> X-Debbugs-Cc: Julien Lepiller , pukkamustard Content-Transfer-Encoding: 8bit Content-Type: text/plain X-ClientProxiedBy: YTBP288CA0016.CANP288.PROD.OUTLOOK.COM (2603:10b6:b01:14::29) To CH3PR84MB3424.NAMPRD84.PROD.OUTLOOK.COM (2603:10b6:610:1c4::17) X-Microsoft-Original-Message-ID: MIME-Version: 1.0 X-MS-Exchange-MessageSentRepresentingType: 1 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: CH3PR84MB3424:EE_|MN0PR84MB3889:EE_ X-MS-Office365-Filtering-Correlation-Id: a03c9438-2e52-4480-7293-08dd1f19957d X-Microsoft-Antispam: BCL:0; ARA:14566002|461199028|7092599003|5072599009|19110799003|8060799006|15080799006|440099028|3412199025|1710799026; X-Microsoft-Antispam-Message-Info: =?us-ascii?Q?GqZ8tXHj5Qk+7p6W0dq8hMrVapPe0HZecsbAUjG/ne1wYdZUcgtKnBvtXPLg?= =?us-ascii?Q?phYgZYYM3uzTioAq8e+GxKLeN4ZPE18OhOOWcQWpC6MA1ILkwEcInvYLE989?= =?us-ascii?Q?CY9aU1CMVV2JghA5nS/E/T4dYez/zR3fZ+U8QVTYMMyzBRMEyQZ5cI168FP2?= =?us-ascii?Q?XxIdMYRR4cHXLnoDq6dRjCMlzPn8fiAfk9B2WO/IVyoBt8COWN8WEt3zMvHC?= =?us-ascii?Q?kC5e28JHnnY/6kvIZQf6BJQn8M+h3qCv2JyVr3FNGbu+XaT4gAXqV6pIFudN?= =?us-ascii?Q?6vhGXLafFmUJeTFlY7p5Fdi3qOEahr0PpBCIvPzXa6XOksx9ObkXvNTuezvY?= =?us-ascii?Q?4Nl9fZvJxkZJNEP5bn2MYapvLA1DWLfIZ3FFixJaTzzkGHEplqU7FJk0s29O?= =?us-ascii?Q?5rJWU9z3TgD4L41iVA6wO/vBlpW61UoVs93j+WI0iKFw9j1OT1eFxWH+C2YY?= =?us-ascii?Q?33uH03enyqJfbqwhytGegU2JzP1uES9U5ingIIs5Kt/J7vnUAnp6R9HJVI0p?= =?us-ascii?Q?XlRjcrATIMpFX/ZBXIhr6XauI+SvMDHUUJGoOXliqqAfCIZ41o5cgd+W532R?= =?us-ascii?Q?j2HkeTzgF1jSwqXzyMF9H37fD79QXVj7uC48uxlyICa60CAEGoVIXTOuRg6H?= =?us-ascii?Q?bMQ28IzztGzz6tsKGtBiTpf9oySJVlLTNJ5XC2LAL1O9i4B+o5MFLoQ/t7B+?= =?us-ascii?Q?ZWJmqU56P61MegT5xIB2Dof23giNLBKSc+GssL46H6rTmiCFQjyzx33sa9Wu?= =?us-ascii?Q?p2RLQJ5cKf4EHO8JkamMT9svy95pfulCFC0Y1UoCzWC9XQyxoi87HXLt8crq?= =?us-ascii?Q?JamcXALJRLBx5RfOeNVYUna4o0AsJOPLwRx4WCiOsXn7uydTV6Ggc1TRq9UW?= =?us-ascii?Q?ZLkJsjSYcd2xmYamwKmBFWegZoNjJwt4cajgVjq4AhznUYf4Sk5FYMuo8g4F?= =?us-ascii?Q?E8tv4uztNQ1j/PP3FWbaxOO8wRMIhAw8Bq2ZqJ3KqkDHg0Gn1Uxgqnc0dr9P?= =?us-ascii?Q?nJr8fqvsX135ENE+gTaPO7KcwksjLYRfKkhz8VVrqOXv1C72JtWiVTSEaFES?= =?us-ascii?Q?dtnVQZG7?= X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?zjX4hWOV8Wn3I3l4pe7MjCBqI5FQblorjJT3mzKrUkNkB0SecK6iUOSS4zxl?= =?us-ascii?Q?CeiBwufeIom1l58P7ue2XvQLGehDiYGIflPd3Uyl2yJGqtbZqZmyjiLsHg8j?= =?us-ascii?Q?Pf7N2a93+FFLQO5p/3LAmKUJPP01A69lrog/Iqr4cHu8UMcyV/qx2daSahX0?= =?us-ascii?Q?Omktt6xe0yF23oqafbaCcNdJjXBi1m7XURzqNd8z9OF511Ji1XVmEi0aOM0j?= =?us-ascii?Q?qUza9bVZjsgsuMt7KdfKTvI6mhiqjfCZnuSFnMuAdYzNuxV6TXbJR4Gxcl0P?= =?us-ascii?Q?ENR1n1hfErhk3cYGrebFP6SAozRqzmbPUck8i9Jph1kxwKnSIPAqJlNEu8kp?= =?us-ascii?Q?CyslqtzkwVTq7cNBWUtDSaIad1+UqyxOClMIFWL29u7axDY+cftw71VKcGGt?= =?us-ascii?Q?i5kldNdxBAYmItd6WSuLVVCPf0DanP4EuoaTfqY3bqQfxEGUUTimh4S4H5Vf?= =?us-ascii?Q?rSW8pGZon0aPlR0V6ISHjRk53z07/zzwnUpBvQNxXArncV8FyPHZFgx41qyV?= =?us-ascii?Q?giJ8zZx3qmTArLDLaIDJOwgBi5esdO77k+pq/JTV98YGmV3TGmQy5XACb5ul?= =?us-ascii?Q?BMQVlmlvJvWE8OTBDCbiJtBepesMmcK8uFhseCWkfKrMNlx2Lv1Us9Z6718l?= =?us-ascii?Q?j0FY7hIIQ/HSVqoHFowq0o3U5NRUY7Xg5lB8jlojo/K3fhzrLFEu9CIqubQU?= =?us-ascii?Q?/WAqMsDhmcQNZFa7jd6GRUKPrm12eh3vWLvHgefBgvfYbw7rHxkeHOlutxxV?= =?us-ascii?Q?fVlu2TqcORZb0CReEp3L+iShPgbeB2vVVRqWTkTiScEPMrQIibzQqXa3B7Ie?= =?us-ascii?Q?zomf4G1K7qU2Awe4u4IsOB+p/j1LB+annyBZwRWovuYCTN2tX3AOwTHJYVVH?= =?us-ascii?Q?Lw7+VaEcQweXWkhymWlzE4tMFokdANwXcfliqylSwSEbBmjSybVw7Rk0vrzi?= =?us-ascii?Q?bVKVY+LEm9vOzf31dn8co/NesS+aGJSy+LzefOcBgcn0rVYeDJpZe62AAmpG?= =?us-ascii?Q?S6DHeNKmB4oBhGiqLlHbaKPdhNMsSPAD41fKEy9nO0jfq3/3jslqZGTHM0MJ?= =?us-ascii?Q?DnIL2cUdU+v65bQZiQU3a0dQSBjiaDzhJEr89Fn5lCfuYpvRlEQtwvpASCJi?= =?us-ascii?Q?omdwma+CN7wMa3/gYCEzcHeL1k0iUHgp7PncdOyBrQ4M6ma1dzuDWXF81mLM?= =?us-ascii?Q?pVcSQ57H3xow1thuKN2KsVwzVId0CZpEz0duhXm08318lDaxjtZaaomdZP0h?= =?us-ascii?Q?HoRuUQ1NnXmeRpz2xsdp?= X-OriginatorOrg: outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: a03c9438-2e52-4480-7293-08dd1f19957d X-MS-Exchange-CrossTenant-AuthSource: CH3PR84MB3424.NAMPRD84.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 18 Dec 2024 04:08:10.2211 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000 X-MS-Exchange-Transport-CrossTenantHeadersStamped: MN0PR84MB3889 X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 74931 Cc: pukkamustard@posteo.net, 74931@debbugs.gnu.org, julien@lepiller.eu, Morgan Smith 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 (-) * gnu/packages/coq.scm (proof-general): Update to 4.5-2.d668946. [phases] Remove unneeded phases and fix shebang fix. Change-Id: I5ce2775cf18775737853d76b5a50d461aa9d14e6 --- Yes I should bump the revision. Thanks for catching that! gnu/packages/coq.scm | 26 +++++--------------------- 1 file changed, 5 insertions(+), 21 deletions(-) diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index ea0868f226..3ef91ad78a 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -135,8 +135,8 @@ (define-public proof-general ;; The latest release is from 2022 and there has been more than 100 commits ;; since then. ;; Commit from 2024-04-29. - (let ((commit "cb23709ad0c9a9ca0ee48b3ee73c29caea243b98") - (revision "1")) + (let ((commit "d6689469298b4140dc1f0f8b0ff7e8f937041ffe") + (revision "2")) (package (name "proof-general") (version (git-version "4.5" revision commit)) @@ -148,7 +148,7 @@ (define-public proof-general (file-name (git-file-name name version)) (sha256 (base32 - "1spd8rz95s1x91i4lbbb6zabb8014fihx6ai6pgad1nwyr0y9bir")))) + "1d12z41rn5nh15qj4sf0w8xrbd9djxlrz0r6g38fiq63i7krbm4x")))) (build-system gnu-build-system) (native-inputs `(("emacs" ,emacs-minimal) @@ -168,30 +168,14 @@ (define-public proof-general #:phases (modify-phases %standard-phases (delete 'configure) - (add-after 'unpack 'disable-byte-compile-error-on-warn - (lambda _ - (substitute* "Makefile" - (("\\(setq byte-compile-error-on-warn t\\)") - "(setq byte-compile-error-on-warn nil)")))) - (add-after 'unpack 'modify-readme-name - ;; The README file is called "README.md", but the Make variable - ;; "DOC_FILES" still refers to "README". - (lambda _ - (substitute* "Makefile" - (("README") "README.md")))) (add-after 'unpack 'patch-hardcoded-paths (lambda _ (substitute* "Makefile" (("/sbin/install-info") "install-info")))) - (add-after 'unpack 'remove-which + (add-after 'unpack 'do-not-patch-script-shebangs (lambda _ (substitute* "Makefile" - (("`which perl`") "perl") - (("`which bash`") "bash")))) - (add-after 'unpack 'clean - (lambda _ - ;; Delete the pre-compiled elc files for Emacs 23. - (invoke "make" "clean"))) + (("install-bin: scripts") "install-bin:")))) (add-after 'install 'install-doc (lambda* (#:key make-flags #:allow-other-keys) ;; XXX FIXME avoid building/installing pdf files, base-commit: 8e71580aae17f0c84896519d63246ab4bbb77fc4 -- 2.46.0 From debbugs-submit-bounces@debbugs.gnu.org Mon Dec 23 13:11:23 2024 Received: (at 74931-done) by debbugs.gnu.org; 23 Dec 2024 18:11:23 +0000 Received: from localhost ([127.0.0.1]:56128 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tPmtm-0002Wz-TL for submit@debbugs.gnu.org; Mon, 23 Dec 2024 13:11:23 -0500 Received: from eggs.gnu.org ([209.51.188.92]:54448) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tPmtk-0002Wj-8f for 74931-done@debbugs.gnu.org; Mon, 23 Dec 2024 13:11:20 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tPmte-0000S9-V7; Mon, 23 Dec 2024 13:11:14 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=GAzjaoKpRg8NuOKidXBPh+rUwFUCk8fdQ1ggT327TZs=; b=l7hF8A/a/779EU20xZKZ 9OeBNBp8Lcd2arnOfcra2X+O/cf8NKZV+1UHie388sNPy8l9cvhVcKeLhv75Yx8XGttiECCMSv7st N9A3j3w3RfGlspKBkRzWsTxo6jWxHu4y92IOa93LHoLRXkHdeCgV6BcR48/ILe3196eu2folx5JuH stEmO8nMylrQDxOzYEo+03G3isBHcpeJBcWrYWLkFHAgqeXo/0Im5JYTRfE9+8sW8v7mKRma2G81M NkvkJFanuUnNmS9v5jYvr+afuWc4A9RunXa1FS8v/3oIAXcWiKSEULxffP4EqEIYkYmUvQ0vqwdi8 BqO4R2IgQI0Odw==; From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Morgan Smith Subject: Re: [bug#74931] [PATCH v2] gnu: proof-general: Update to 4.5-2.d668946. In-Reply-To: (Morgan Smith's message of "Tue, 17 Dec 2024 23:07:05 -0500") References: <87y10eyrzx.fsf@gmail.com> Date: Mon, 23 Dec 2024 19:11:10 +0100 Message-ID: <87h66u6zi9.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 74931-done Cc: pukkamustard@posteo.net, julien@lepiller.eu, 74931-done@debbugs.gnu.org, suhailsingh247@gmail.com 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: -3.3 (---) Morgan Smith skribis: > * gnu/packages/coq.scm (proof-general): Update to 4.5-2.d668946. > [phases] Remove unneeded phases and fix shebang fix. > > Change-Id: I5ce2775cf18775737853d76b5a50d461aa9d14e6 Applied, thanks! From unknown Sat Sep 06 13:38:05 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Tue, 21 Jan 2025 12:24:11 +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