From 7492af9be7ba33d94f5784b9eaf3ebeea487e64a Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Fri, 25 Jan 2019 11:43:42 +0100 Subject: 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(-) (limited to 'gnu/packages/coq.scm') diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index f4d7cc2b79..51dd5dedcf 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 -- cgit v1.2.3