diff options
| author | Gaëtan Gilbert | 2020-08-29 14:01:55 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-08-29 14:02:17 +0200 |
| commit | f7d45c6dba49ae46151c9874cf1eb6278df7a24e (patch) | |
| tree | a13a939e0414c2039834818499fa10fa1ab6360f | |
| parent | c73c239f2d0326ef34c694028d3988b105fd7080 (diff) | |
Fix configure check for zarith
Fix #12938
| -rw-r--r-- | configure.ml | 6 |
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 = |
