summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2018-03-20 17:49:01 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2018-03-20 19:49:47 +0100
commit8abbe5dc8232bb244bb3f615130d2d5d60911778 (patch)
treeecc4f22f88ec925ebab44b8afd6646554dc818ea /gnu
parent324f192700b2b64631ced0d05576eeb1d2cf6918 (diff)
downloadpatches-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.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/ocaml.scm14
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