From 04daa1ed72be39805b787554f7959b1df6558460 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <rekado@elephly.net>
Date: Fri, 25 Jan 2019 13:31:29 +0100
Subject: [PATCH] gnu: ocaml-zarith: Use INVOKE.
* gnu/packages/ocaml.scm (ocaml-zarith)[arguments]: Use INVOKE.
---
gnu/packages/ocaml.scm | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index eb298c8d7a3..4d9487afa23 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1149,8 +1149,7 @@ (define-public ocaml-zarith
#: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
--
GitLab