04/27: gnu: coq-mathcomp: Use INVOKE.

[guix-commits]

rekado pushed a commit to branch master
in repository guix.

commit 492ee4f83bbb803e0135cc42d8a0d80d5e1787ad
Author: Ricardo Wurmus <address@hidden>
Date:   Fri Jan 25 09:28:53 2019 +0100

    gnu: coq-mathcomp: Use INVOKE.
    
    * gnu/packages/coq.scm (coq-mathcomp)[arguments]: Unconditionally return #T
    from build phases.
---
 gnu/packages/coq.scm | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index 2d603f9..076aa7f 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -295,15 +295,14 @@ assistant.")
        (modify-phases %standard-phases
          (delete 'configure)
          (add-before 'build 'chdir
-           (lambda _
-             (chdir "mathcomp")))
+           (lambda _ (chdir "mathcomp") #t))
          (replace 'install
            (lambda* (#:key outputs #:allow-other-keys)
              (setenv "COQLIB" (string-append (assoc-ref outputs "out") 
"/lib/coq/"))
-             (zero? (system* "make" "-f" "Makefile.coq"
-                             (string-append "COQLIB=" (assoc-ref outputs "out")
-                                            "/lib/coq/")
-                             "install")))))))
+             (invoke "make" "-f" "Makefile.coq"
+                     (string-append "COQLIB=" (assoc-ref outputs "out")
+                                    "/lib/coq/")
+                     "install"))))))
     (home-page "https://math-comp.github.io/math-comp/";)
     (synopsis "Mathematical Components for Coq")
     (description "Mathematical Components for Coq has its origins in the formal