guix-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

03/27: gnu: coq-gappa: Use INVOKE.


From: guix-commits
Subject: 03/27: gnu: coq-gappa: Use INVOKE.
Date: Fri, 25 Jan 2019 07:21:30 -0500 (EST)

rekado pushed a commit to branch master
in repository guix.

commit ace73a93cdb70e2d470387516f22465d170c2d14
Author: Ricardo Wurmus <address@hidden>
Date:   Fri Jan 25 09:26:29 2019 +0100

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

diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index 97ed33d..2d603f9 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -254,16 +254,14 @@ inside Coq.")
          (add-before 'configure 'fix-remake
            (lambda _
              (substitute* "remake.cpp"
-               (("/bin/sh") (which "sh")))))
+               (("/bin/sh") (which "sh")))
+             #t))
          (replace 'build
-           (lambda _
-             (zero? (system* "./remake"))))
+           (lambda _ (invoke "./remake")))
          (replace 'check
-           (lambda _
-             (zero? (system* "./remake" "check"))))
+           (lambda _ (invoke "./remake" "check")))
          (replace 'install
-           (lambda _
-             (zero? (system* "./remake" "install")))))))
+           (lambda _ (invoke "./remake" "install"))))))
     (home-page "http://gappa.gforge.inria.fr/";)
     (synopsis "Verify and formally prove properties on numerical programs")
     (description "Gappa is a tool intended to help verifying and formally 
proving



reply via email to

[Prev in Thread] Current Thread [Next in Thread]