summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorDan Frumin <dfrumin@cs.ru.nl>2019-03-15 13:16:24 +0100
committerLudovic Courtès <ludo@gnu.org>2019-03-19 11:30:34 +0100
commit718d358a7297c6f101ca320818ce2206a3ad893f (patch)
treeb1f80718275dedaa5ead782e21b1e4a0e4e8cc30 /gnu/packages/coq.scm
parent6c5e618ca004d3714d9de7676f2a984735bfe17b (diff)
gnu: coq-flocq: remove unnecessary return values
* gnu/packages/coq.scm (coq-flocq)[arguments]: Add unnecessary return values after 'invoke' calls. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/coq.scm')
-rw-r--r--gnu/packages/coq.scm9
1 files changed, 3 insertions, 6 deletions
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