[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
04/27: gnu: coq-mathcomp: Use INVOKE.
From: |
guix-commits |
Subject: |
04/27: gnu: coq-mathcomp: Use INVOKE. |
Date: |
Fri, 25 Jan 2019 07:21:30 -0500 (EST) |
rekado pushed a commit to branch master
in repository guix.
commit 492ee4f83bbb803e0135cc42d8a0d80d5e1787ad
Author: Ricardo Wurmus <address@hidden>
Date: Fri Jan 25 09:28:53 2019 +0100
gnu: coq-mathcomp: Use INVOKE.
* gnu/packages/coq.scm (coq-mathcomp)[arguments]: Unconditionally return #T
from build phases.
---
gnu/packages/coq.scm | 11 +++++------
1 file changed, 5 insertions(+), 6 deletions(-)
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index 2d603f9..076aa7f 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -295,15 +295,14 @@ assistant.")
(modify-phases %standard-phases
(delete 'configure)
(add-before 'build 'chdir
- (lambda _
- (chdir "mathcomp")))
+ (lambda _ (chdir "mathcomp") #t))
(replace 'install
(lambda* (#:key outputs #:allow-other-keys)
(setenv "COQLIB" (string-append (assoc-ref outputs "out")
"/lib/coq/"))
- (zero? (system* "make" "-f" "Makefile.coq"
- (string-append "COQLIB=" (assoc-ref outputs "out")
- "/lib/coq/")
- "install")))))))
+ (invoke "make" "-f" "Makefile.coq"
+ (string-append "COQLIB=" (assoc-ref outputs "out")
+ "/lib/coq/")
+ "install"))))))
(home-page "https://math-comp.github.io/math-comp/")
(synopsis "Mathematical Components for Coq")
(description "Mathematical Components for Coq has its origins in the formal
- 15/27: gnu: entr: Update to 4.1., (continued)
- 15/27: gnu: entr: Update to 4.1., guix-commits, 2019/01/25
- 06/27: gnu: xfconf: Use INVOKE., guix-commits, 2019/01/25
- 21/27: gnu: ccl: Unconditionally return #T from build phases., guix-commits, 2019/01/25
- 17/27: gnu: ncftp: Use INVOKE., guix-commits, 2019/01/25
- 07/27: gnu: awesome: Use INVOKE., guix-commits, 2019/01/25
- 03/27: gnu: coq-gappa: Use INVOKE., guix-commits, 2019/01/25
- 01/27: gnu: eschalot: Use INVOKE., guix-commits, 2019/01/25
- 02/27: gnu: proof-general: Use INVOKE., guix-commits, 2019/01/25
- 05/27: gnu: libnl: Unconditionally return #T from build phases., guix-commits, 2019/01/25
- 08/27: gnu: wicd: Use INVOKE., guix-commits, 2019/01/25
- 04/27: gnu: coq-mathcomp: Use INVOKE.,
guix-commits <=
- 13/27: gnu: coq-coquelicot: Use INVOKE., guix-commits, 2019/01/25