[bug#71629] [PATCH] gnu: proof-general: Update to 4.5@cb23709a.

[bug#71629] [PATCH] gnu: proof-general: Update to 4.5@cb23709a.

[Arnaud Daby-Seesaram via Guix-patches via]

* gnu/packages/coq.scm (proof-general): Update to 4.5@cb23709a.

Change-Id: Ieb33d8a0effa4c010d1f2488e166cd0647240180
---
 gnu/packages/coq.scm | 16 +++++++++++-----
 1 file changed, 11 insertions(+), 5 deletions(-)

diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index f0c09bdef9..7926b11eef 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -129,14 +129,14 @@ (define-public coq-ide
      (list lablgtk3 ocaml-lablgtk3-sourceview3))))
 
 (define-public proof-general
-  ;; The latest release is from 2016 and there has been more than 450 commits
+  ;; The latest release is from 2022 and there has been more than 100 commits
   ;; since then.
-  ;; Commit from 2021-11-25.
-  (let ((commit "1b1083e86e0cddc20ff2f1a6b25c7a7eee2edf02")
+  ;; Commit from 2024-04-29.
+  (let ((commit "cb23709ad0c9a9ca0ee48b3ee73c29caea243b98")
         (revision "1"))
     (package
       (name "proof-general")
-      (version (git-version "4.4" revision commit))
+      (version (git-version "4.5" revision commit))
       (source (origin
                 (method git-fetch)
                 (uri (git-reference
@@ -145,7 +145,7 @@ (define-public proof-general
                 (file-name (git-file-name name version))
                 (sha256
                  (base32
-                  "1pnysczhscapgwmvf6ix7f31lf3hnh8h977bfll1m7jlxl9b9c0j"))))
+                  "1spd8rz95s1x91i4lbbb6zabb8014fihx6ai6pgad1nwyr0y9bir"))))
       (build-system gnu-build-system)
       (native-inputs
        `(("emacs" ,emacs-minimal)
@@ -170,6 +170,12 @@ (define-public proof-general
                  (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"
-- 
2.45.1

bug#71629: [PATCH] gnu: proof-general: Update to 4.5@cb23709a.

[Christopher Baines]

[-- Attachment #1: Type: text/plain, Size: 421 bytes --]

Arnaud Daby-Seesaram via Guix-patches via <guix-patches@gnu.org> writes:

> * gnu/packages/coq.scm (proof-general): Update to 4.5@cb23709a.
>
> Change-Id: Ieb33d8a0effa4c010d1f2488e166cd0647240180
> ---
>  gnu/packages/coq.scm | 16 +++++++++++-----
>  1 file changed, 11 insertions(+), 5 deletions(-)

I forgot to close the issue yesterday, but I pushed this to master as
b594c2b154b900a29855afc00a21306ab09a153d.

Chris

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 987 bytes --]