[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
13/27: gnu: coq-coquelicot: Use INVOKE.
From: |
guix-commits |
Subject: |
13/27: gnu: coq-coquelicot: Use INVOKE. |
Date: |
Fri, 25 Jan 2019 07:21:32 -0500 (EST) |
rekado pushed a commit to branch master
in repository guix.
commit e09e83880f0ad1901011ae516db59495fe582caa
Author: Ricardo Wurmus <address@hidden>
Date: Fri Jan 25 11:39:57 2019 +0100
gnu: coq-coquelicot: Use INVOKE.
* gnu/packages/coq.scm (coq-coquelicot)[arguments]: Use INVOKE.
---
gnu/packages/coq.scm | 12 +++++-------
1 file changed, 5 insertions(+), 7 deletions(-)
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index 076aa7f..f4d7cc2 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -347,16 +347,14 @@ part of the distribution.")
(add-before 'configure 'fix-remake
(lambda _
(substitute* "remake.cpp"
- (("/bin/sh") (which "sh")))))
+ (("/bin/sh") (which "sh")))
+ #t))
(replace 'build
- (lambda _
- (zero? (system* "./remake"))))
+ (lambda _ (invoke "./remake")))
(replace 'check
- (lambda _
- (zero? (system* "./remake" "check"))))
+ (lambda _ (invoke "./remake" "check")))
(replace 'install
- (lambda _
- (zero? (system* "./remake" "install")))))))
+ (lambda _ (invoke "./remake" "install"))))))
(home-page "http://coquelicot.saclay.inria.fr/index.html")
(synopsis "Coq library for Reals")
(description "Coquelicot is an easier way of writing formulas and theorem
- 06/27: gnu: xfconf: Use INVOKE., (continued)
- 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, 2019/01/25
- 13/27: gnu: coq-coquelicot: Use INVOKE.,
guix-commits <=