[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#38965] [PATCH 12/12] gnu: coq-equations: Update to 1.2.1.
From: |
Brett Gilio |
Subject: |
[bug#38965] [PATCH 12/12] gnu: coq-equations: Update to 1.2.1. |
Date: |
Mon, 06 Jan 2020 02:28:35 -0600 |
>From 89b5acd77c520c2cf72c0dda28bd1a1c0ea97e55 Mon Sep 17 00:00:00 2001
From: Brett Gilio <address@hidden>
Date: Mon, 6 Jan 2020 02:20:41 -0600
Subject: [PATCH 12/12] gnu: coq-equations: Update to 1.2.1.
To: address@hidden
* 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
- [bug#38965] [PATCH 01/12] gnu: Add ocaml-cairo2., (continued)
- [bug#38965] [PATCH 01/12] gnu: Add ocaml-cairo2., Brett Gilio, 2020/01/06
- [bug#38965] [PATCH 03/12] gnu: coq: Update to 8.10.2., Brett Gilio, 2020/01/06
- [bug#38965] [PATCH 02/12] gnu: Add ocaml-lablgtk3., Brett Gilio, 2020/01/06
- [bug#38965] [PATCH 04/12] gnu: coq: Reword several comments., Brett Gilio, 2020/01/06
- [bug#38965] [PATCH 05/12] gnu: coq-flocq: Update to 3.2.0., Brett Gilio, 2020/01/06
- [bug#38965] [PATCH 08/12] gnu: coq-gappa: Use HTTPS home page URI., Brett Gilio, 2020/01/06
- [bug#38965] [PATCH 06/12] gnu: coq-flocq: Use HTTPS home page URI., Brett Gilio, 2020/01/06
- [bug#38965] [PATCH 07/12] gnu: coq-gappa: Update to 1.4.2., Brett Gilio, 2020/01/06
- [bug#38965] [PATCH 09/12] gnu: coq-coquelicot: Update to 3.0.3., Brett Gilio, 2020/01/06
- [bug#38965] [PATCH 10/12] gnu: coq-coquelicot: Truncate home-page., Brett Gilio, 2020/01/06
- [bug#38965] [PATCH 12/12] gnu: coq-equations: Update to 1.2.1.,
Brett Gilio <=
- [bug#38965] [PATCH 11/12] gnu: coq-interval: Update to 3.4.1., Brett Gilio, 2020/01/06
- [bug#38965] [PATCH 00/12] gnu: coq: Update to 8.10.2., Julien Lepiller, 2020/01/06