diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-01-25 13:31:29 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-01-25 13:31:29 +0100 |
| commit | 04daa1ed72be39805b787554f7959b1df6558460 (patch) | |
| tree | 55cb20301c60882522e16651165b072b2121fc19 /gnu/packages/ocaml.scm | |
| parent | 2c0234e78ea86059fb75a1260228a61a524597b4 (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.scm | 3 |
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 |