mirror of
https://git.in.rschanz.org/ryan77627/guix.git
synced 2024-12-25 05:48:07 -05:00
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>
This commit is contained in:
parent
6c5e618ca0
commit
718d358a72
1 changed files with 3 additions and 6 deletions
|
@ -211,18 +211,15 @@ (define-public coq-flocq
|
||||||
#t))
|
#t))
|
||||||
(replace 'build
|
(replace 'build
|
||||||
(lambda _
|
(lambda _
|
||||||
(invoke "./remake")
|
(invoke "./remake")))
|
||||||
#t))
|
|
||||||
(replace 'check
|
(replace 'check
|
||||||
(lambda _
|
(lambda _
|
||||||
(invoke "./remake" "check")
|
(invoke "./remake" "check")))
|
||||||
#t))
|
|
||||||
;; TODO: requires coq-gappa and coq-interval.
|
;; TODO: requires coq-gappa and coq-interval.
|
||||||
;(invoke "./remake" "check-more")
|
;(invoke "./remake" "check-more")
|
||||||
(replace 'install
|
(replace 'install
|
||||||
(lambda _
|
(lambda _
|
||||||
(invoke "./remake" "install")
|
(invoke "./remake" "install"))))))
|
||||||
#t)))))
|
|
||||||
(home-page "http://flocq.gforge.inria.fr/")
|
(home-page "http://flocq.gforge.inria.fr/")
|
||||||
(synopsis "Floating-point formalization for the Coq system")
|
(synopsis "Floating-point formalization for the Coq system")
|
||||||
(description "Flocq (Floats for Coq) is a floating-point formalization for
|
(description "Flocq (Floats for Coq) is a floating-point formalization for
|
||||||
|
|
Loading…
Reference in a new issue