06/07: gnu: coq-flocq: Update phase style.

[Tobias Geerinckx-Rice]

nckx pushed a commit to branch master
in repository guix.

commit 8abbe5dc8232bb244bb3f615130d2d5d60911778
Author: Tobias Geerinckx-Rice <address@hidden>
Date:   Tue Mar 20 17:49:01 2018 +0100

    gnu: coq-flocq: Update phase style.
    
    * gnu/packages/ocaml.scm (coq-flocq)[arguments]: Substitute INVOKE for
    SYSTEM* and end all phases with an explicit #t.
---
 gnu/packages/ocaml.scm | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 9346012..a831036 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3890,18 +3890,22 @@ cross-platform SDL C 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"))))
+             (invoke "./remake")
+             #t))
          (replace 'check
            (lambda _
-             (zero? (system* "./remake" "check"))))
+             (invoke "./remake" "check")
+             #t))
              ;; TODO: requires coq-gappa and coq-interval.
-             ;(zero? (system* "./remake" "check-more"))))
+             ;(invoke "./remake" "check-more")
          (replace 'install
            (lambda _
-             (zero? (system* "./remake" "install")))))))
+             (invoke "./remake" "install")
+             #t)))))
     (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