summaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2019-01-25 13:31:29 +0100
committerRicardo Wurmus <rekado@elephly.net>2019-01-25 13:31:29 +0100
commit04daa1ed72be39805b787554f7959b1df6558460 (patch)
tree55cb20301c60882522e16651165b072b2121fc19 /gnu/packages/ocaml.scm
parent2c0234e78ea86059fb75a1260228a61a524597b4 (diff)
gnu: ocaml-zarith: Use INVOKE.
* gnu/packages/ocaml.scm (ocaml-zarith)[arguments]: Use INVOKE.
Diffstat (limited to 'gnu/packages/ocaml.scm')
-rw-r--r--gnu/packages/ocaml.scm3
1 files changed, 1 insertions, 2 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index eb298c8d7a..4d9487afa2 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1149,8 +1149,7 @@ files in these formats.")
#:phases
(modify-phases %standard-phases
(replace 'configure
- (lambda* (#:key #:allow-other-keys)
- (zero? (system* "./configure")))))))
+ (lambda _ (invoke "./configure"))))))
(home-page "https://forge.ocamlcore.org/projects/zarith/")
(synopsis "Implements arbitrary-precision integers")
(description "Implements arithmetic and logical operations over