From 718d358a7297c6f101ca320818ce2206a3ad893f Mon Sep 17 00:00:00 2001 From: Dan Frumin Date: Fri, 15 Mar 2019 13:16:24 +0100 Subject: gnu: coq-flocq: remove unnecessary return values MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * gnu/packages/coq.scm (coq-flocq)[arguments]: Add unnecessary return values after 'invoke' calls. Signed-off-by: Ludovic Courtès --- gnu/packages/coq.scm | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) (limited to 'gnu') diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 83f5cd29af..bdf1576400 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -211,18 +211,15 @@ provers.") #t)) (replace 'build (lambda _ - (invoke "./remake") - #t)) + (invoke "./remake"))) (replace 'check (lambda _ - (invoke "./remake" "check") - #t)) + (invoke "./remake" "check"))) ;; TODO: requires coq-gappa and coq-interval. ;(invoke "./remake" "check-more") (replace 'install (lambda _ - (invoke "./remake" "install") - #t))))) + (invoke "./remake" "install")))))) (home-page "http://flocq.gforge.inria.fr/") (synopsis "Floating-point formalization for the Coq system") (description "Flocq (Floats for Coq) is a floating-point formalization for -- cgit v1.2.3