From patchwork Tue Nov 21 04:48:29 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Zhu Zihao X-Patchwork-Id: 56676 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 90D9627BBE2; Tue, 21 Nov 2023 04:50:20 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI,SPF_HELO_PASS, URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id DBBA527BBE9 for ; Tue, 21 Nov 2023 04:50:16 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r5Ii2-000893-F4; Mon, 20 Nov 2023 23:50:02 -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 1r5Ii0-00088g-4t for guix-patches@gnu.org; Mon, 20 Nov 2023 23:50:00 -0500 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1r5Ihz-00086k-IV for guix-patches@gnu.org; Mon, 20 Nov 2023 23:49:59 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r5Ii1-0002bJ-Un for guix-patches@gnu.org; Mon, 20 Nov 2023 23:50:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#67315] [PATCH 2/2] gnu: lean: Update to 3.51.1. Resent-From: Zhu Zihao Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 21 Nov 2023 04:50:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 67315 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 67315@debbugs.gnu.org Cc: Zhu Zihao Received: via spool by 67315-submit@debbugs.gnu.org id=B67315.17005421509922 (code B ref 67315); Tue, 21 Nov 2023 04:50:01 +0000 Received: (at 67315) by debbugs.gnu.org; 21 Nov 2023 04:49:10 +0000 Received: from localhost ([127.0.0.1]:54963 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r5IhB-0002Zw-6K for submit@debbugs.gnu.org; Mon, 20 Nov 2023 23:49:09 -0500 Received: from m15.mail.163.com ([45.254.50.220]:59636) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r5Ih3-0002Z3-PT for 67315@debbugs.gnu.org; Mon, 20 Nov 2023 23:49:06 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=163.com; s=s110527; h=From:Subject:Date:Message-ID:MIME-Version; bh=98sPf FNs1qhTVelTD6udA0ZLsOVuugSMQC09vh5AdJQ=; b=Te2oIZDZAzDwMeOr/1HOz MmH7yB44XlS/dgXbCN149kFFvGS7THDKs2NiU5iDv89mbaZctO8TQd3Yiy83VIgq 56xbAxccCSh/pubzzem3LU0Hsx4iPk2haxxwy8YKw9UgscI80cbe49KJH6iJbV9A DhMEHTCqORLgr861sfzOZ8= Received: from localhost.localdomain (unknown [119.123.64.52]) by zwqz-smtp-mta-g0-1 (Coremail) with SMTP id _____wB3l3ygNlxlg4I2Bg--.38801S2; Tue, 21 Nov 2023 12:48:48 +0800 (CST) From: Zhu Zihao Date: Tue, 21 Nov 2023 12:48:29 +0800 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: <8b5ac18136b62d453b06c3b2b1db3d9bad5b2bac.1700536251.git.all_but_last@163.com> References: <8b5ac18136b62d453b06c3b2b1db3d9bad5b2bac.1700536251.git.all_but_last@163.com> MIME-Version: 1.0 X-CM-TRANSID: _____wB3l3ygNlxlg4I2Bg--.38801S2 X-Coremail-Antispam: 1Uf129KBjvJXoW7KF4kCF43Jw17AFy8tFWfuFg_yoW8ur17pa 4S9343uF1rCry3Jw48Wa12yryYgF97GryxA393Aw4kG3y2vay0grWxtFZakry7JF1Iqw1U Wr4fJF48WFy5WFJanT9S1TB71UUUUUUqnTZGkaVYY2UrUUUUjbIjqfuFe4nvWSU5nxnvy2 9KBjDUYxBIdaVFxhVjvjDU0xZFpf9x0JUcmi_UUUUU= X-Originating-IP: [119.123.64.52] X-CM-SenderInfo: pdoosuxxwbztlvw6il2tof0z/xtbBLxUvr2Hmp88ikwAAsk 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+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/lean.scm (lean): Update to 3.51.1. [home-page]: Use new home page. [arguments]<#:phases>: Remove stale phase 'patch-tests-shebangs'. [inputs]: Remove bash-minimal. Change-Id: Ib90a124b4a6b06fb30223ad4b9254249e56dd086 --- gnu/packages/lean.scm | 24 +++++++----------------- 1 file changed, 7 insertions(+), 17 deletions(-) diff --git a/gnu/packages/lean.scm b/gnu/packages/lean.scm index a8ad085d7e..1533200426 100644 --- a/gnu/packages/lean.scm +++ b/gnu/packages/lean.scm @@ -40,19 +40,20 @@ (define-module (gnu packages lean) (define-public lean (package (name "lean") - (version "3.41.0") - (home-page "https://github.com/leanprover-community/lean") + (version "3.51.1") + (home-page "https://lean-lang.org" ) (source (origin (method git-fetch) - (uri (git-reference (url home-page) - (commit (string-append "v" version)))) + (uri (git-reference + (url "https://github.com/leanprover-community/lean") + (commit (string-append "v" version)))) (file-name (git-file-name name version)) (sha256 (base32 - "0mpxlfjq460x1vi3v6qzgjv74asg0qlhykd51pj347795x5b1hf1")))) + "17g4d3lqnbl1yfy2pjannf73v8qhc5003d2jkmrqiy05zkqs8d9n")))) (build-system cmake-build-system) (inputs - (list bash-minimal gmp)) + (list gmp)) (arguments (list #:build-type "Release" ; default upstream build type @@ -65,17 +66,6 @@ (define-public lean (string-prefix? "armhf" arch))))) #:phases #~(modify-phases %standard-phases - (add-after 'patch-source-shebangs 'patch-tests-shebangs - (lambda _ - (let ((sh (which "sh")) - (bash (which "bash"))) - (substitute* (find-files "tests/lean" "\\.sh$") - (("#![[:blank:]]?/bin/sh") - (string-append "#!" sh)) - (("#![[:blank:]]?/bin/bash") - (string-append "#!" bash)) - (("#![[:blank:]]?usr/bin/env bash") - (string-append "#!" bash)))))) (add-before 'configure 'chdir-to-src (lambda _ (chdir "src")))))) (synopsis "Theorem prover and programming language")