diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-03-20 17:49:01 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-03-20 19:49:47 +0100 |
| commit | 8abbe5dc8232bb244bb3f615130d2d5d60911778 (patch) | |
| tree | ecc4f22f88ec925ebab44b8afd6646554dc818ea | |
| parent | 324f192700b2b64631ced0d05576eeb1d2cf6918 (diff) | |
| download | patches-8abbe5dc8232bb244bb3f615130d2d5d60911778.tar patches-8abbe5dc8232bb244bb3f615130d2d5d60911778.tar.gz | |
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.
| -rw-r--r-- | gnu/packages/ocaml.scm | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 9346012390..a831036fa3 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 |