Merge PR #13007: [build] Don't link `num` anymore in Coq

Reviewed-by: Zimmi48
Reviewed-by: vbgl
Ack-by: Zimmi48
Ack-by: vbgl

1 files changed, 4 insertions, 11 deletions

diff --git a/configure.ml b/configure.ml
index 2dbc01651e..43c55af495 100644
--- a/configure.ml
+++ b/configure.ml
@@ -688,23 +688,16 @@ let operating_system =
   else
     (try Sys.getenv "OS" with Not_found -> "")
 
-(** Zarith and num libraries *)
-
-let check_for_numlib () =
-  (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!");
+(** Zarith library *)
+
+let check_for_zarith () =
   let zarith,_ = tryrun camlexec.find ["query";"zarith"] in
   match zarith with
   | ""  ->
     die "Zarith library not installed, required"
   | _   -> cprintf "You have the Zarith library installed. Good!"
 
-let numlib =
-  check_for_numlib ()
+let numlib = check_for_zarith ()
 
 (** * lablgtk3 and CoqIDE *)