aboutsummaryrefslogtreecommitdiff
path: root/configure.ml
diff options
context:
space:
mode:
authorGaëtan Gilbert2020-08-29 14:01:55 +0200
committerGaëtan Gilbert2020-08-29 14:02:17 +0200
commitf7d45c6dba49ae46151c9874cf1eb6278df7a24e (patch)
treea13a939e0414c2039834818499fa10fa1ab6360f /configure.ml
parentc73c239f2d0326ef34c694028d3988b105fd7080 (diff)
Fix configure check for zarith
Fix #12938
Diffstat (limited to 'configure.ml')
-rw-r--r--configure.ml6
1 files changed, 3 insertions, 3 deletions
diff --git a/configure.ml b/configure.ml
index 2d6018491e..2dbc01651e 100644
--- a/configure.ml
+++ b/configure.ml
@@ -691,16 +691,16 @@ let operating_system =
(** Zarith and num libraries *)
let check_for_numlib () =
- if caml_version_nums >= [4;6;0] then
+ (if caml_version_nums >= [4;6;0] then
let numlib,_ = tryrun camlexec.find ["query";"num"] in
match numlib with
| "" ->
die "Num library not installed, required for OCaml 4.06 or later"
- | _ -> cprintf "You have the Num library installed. Good!";
+ | _ -> cprintf "You have the Num library installed. Good!");
let zarith,_ = tryrun camlexec.find ["query";"zarith"] in
match zarith with
| "" ->
- die "Zarith library not installed, required"
+ die "Zarith library not installed, required"
| _ -> cprintf "You have the Zarith library installed. Good!"
let numlib =