[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
14/27: gnu: coq-interval: Use INVOKE.
|
From: |
guix-commits |
|
Subject: |
14/27: gnu: coq-interval: Use INVOKE. |
|
Date: |
Fri, 25 Jan 2019 07:21:32 -0500 (EST) |
rekado pushed a commit to branch master
in repository guix.
commit 7492af9be7ba33d94f5784b9eaf3ebeea487e64a
Author: Ricardo Wurmus <address@hidden>
Date: Fri Jan 25 11:43:42 2019 +0100
gnu: coq-interval: Use INVOKE.
* gnu/packages/coq.scm (coq-interval)[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 f4d7cc2..51dd5de 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -430,16 +430,14 @@ provides BigN, BigZ, BigQ that used to be part of Coq
standard library.")
(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://coq-interval.gforge.inria.fr/";)
(synopsis "Coq tactics to simplify inequality proofs")
(description "Interval provides vernacular files containing tactics for
- branch master updated (e60b3e1 -> 20fe972), guix-commits, 2019/01/25
- 26/27: gnu: freetalk: Remove custom bootstrap phase., guix-commits, 2019/01/25
- 27/27: gnu: tomsfastmath: Use INVOKE., guix-commits, 2019/01/25
- 25/27: gnu: perl-net-psyc: Update to 1.3., guix-commits, 2019/01/25
- 23/27: gnu: bitlbee-discord: Do not run autogen.sh in custom autogen phase., guix-commits, 2019/01/25
- 20/27: gnu: python-lirc: Update to 1.2.1-2.c28708b., guix-commits, 2019/01/25
- 19/27: gnu: python-pygpgme: Use INVOKE., guix-commits, 2019/01/25
- 14/27: gnu: coq-interval: Use INVOKE.,
guix-commits <=
- 22/27: gnu: bitlbee: Use INVOKE., guix-commits, 2019/01/25
- 11/27: gnu: synergy: Update to 1.10.1., guix-commits, 2019/01/25
- 10/27: gnu: antiword: Use INVOKE., guix-commits, 2019/01/25
- 09/27: gnu: uucp: Use INVOKE., guix-commits, 2019/01/25
- 12/27: gnu: imb: Use INVOKE., guix-commits, 2019/01/25
- 16/27: gnu: libxdg-basedir: Don't run autogen.sh manually., guix-commits, 2019/01/25
- 18/27: gnu: brdf-explorer: Unconditionally return #T from build phases., guix-commits, 2019/01/25
- 24/27: gnu: dino: Update to 0.0-4.8e14ac6., guix-commits, 2019/01/25
- 15/27: gnu: entr: Update to 4.1., guix-commits, 2019/01/25
- 06/27: gnu: xfconf: Use INVOKE., guix-commits, 2019/01/25