diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-01-25 09:26:29 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-01-25 13:21:18 +0100 |
| commit | ace73a93cdb70e2d470387516f22465d170c2d14 (patch) | |
| tree | 8840bc165e94cd43cc5f9c466c33c437dcd84dce /gnu | |
| parent | a48d6acc23f426ca70e190e717a20cdb21df297f (diff) | |
| download | patches-ace73a93cdb70e2d470387516f22465d170c2d14.tar patches-ace73a93cdb70e2d470387516f22465d170c2d14.tar.gz | |
gnu: coq-gappa: Use INVOKE.
* gnu/packages/coq.scm (coq-gappa)[arguments]: Unconditionally return #T from
build phases by using INVOKE.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/coq.scm | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 97ed33d1ba..2d603f91d5 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 |