GNU bug report logs - #38965
[PATCH 00/12] gnu: coq: Update to 8.10.2.

Previous Next

Full log

View this message in rfc822 format

From: Brett Gilio <brettg <at> gnu.org>
To: 38965 <at> debbugs.gnu.org
Subject: [bug#38965] [PATCH 12/12] gnu: coq-equations: Update to 1.2.1.
Date: Mon, 06 Jan 2020 02:28:35 -0600

[0012-gnu-coq-equations-Update-to-1.2.1.patch (text/x-patch, inline)]

From 89b5acd77c520c2cf72c0dda28bd1a1c0ea97e55 Mon Sep 17 00:00:00 2001
From: Brett Gilio <brettg <at> gnu.org>
Date: Mon, 6 Jan 2020 02:20:41 -0600
Subject: [PATCH 12/12] gnu: coq-equations: Update to 1.2.1.
To: guix-patches <at> gnu.org

* gnu/packages/coq.scm (coq-equations): Update to 1.2.1.
[arguments]: Replace configure phase to run configure shell script. Remove
redundant COQLIB.
---
 gnu/packages/coq.scm | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index 11604da30e..618e302fa1 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -549,16 +549,16 @@ uses Ltac to synthesize the substitution operation.")
 (define-public coq-equations
   (package
     (name "coq-equations")
-    (version "1.2")
+    (version "1.2.1")
     (source (origin
               (method git-fetch)
               (uri (git-reference
                     (url "https://github.com/mattam82/Coq-Equations.git")
-                    (commit (string-append "v" version "-8.9"))))
+                    (commit (string-append "v" version "-8.10"))))
               (file-name (git-file-name name version))
               (sha256
                (base32
-                "1q3wvicr43bgy7xn1diwh4j43mnrhprrc2xd22qlbz9cl6bhf8bj"))))
+                "023q5dww3drw35dm9bi9p9d0wrj9k7vax7hfdsprf8l340pb4s0k"))))
     (build-system gnu-build-system)
     (native-inputs
      `(("ocaml"  ,ocaml)
@@ -570,10 +570,9 @@ uses Ltac to synthesize the substitution operation.")
        (modify-phases %standard-phases
          (replace 'configure
            (lambda* (#:key outputs #:allow-other-keys)
-             (invoke "coq_makefile" "-f" "_CoqProject" "-o" "Makefile")))
+             (invoke "sh" "./configure.sh")))
          (replace 'install
            (lambda* (#:key outputs #:allow-other-keys)
-             (setenv "COQLIB" (string-append (assoc-ref outputs "out") "/lib/coq/"))
              (invoke "make"
                      (string-append "COQLIB=" (assoc-ref outputs "out")
                                     "/lib/coq/")
-- 
2.24.1

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.