Merge PR #13410: [configure] check that zarith dev files are available

Reviewed-by: ejgallego
Ack-by: silene

1 files changed, 3 insertions, 0 deletions

diff --git a/configure.ml b/configure.ml
index 7fd1acb53e..6a4b1f9a75 100644
--- a/configure.ml
+++ b/configure.ml
@@ -692,10 +692,13 @@ let operating_system =
 
 let check_for_zarith () =
   let zarith,_ = tryrun camlexec.find ["query";"zarith"] in
+  let zarith_cmai base = Sys.file_exists (base / "z.cmi") && Sys.file_exists (base / "zarith.cma") in
   let zarith_version, _ = run camlexec.find ["query"; "zarith"; "-format"; "%v"] in
   match zarith with
   | ""  ->
     die "Zarith library not installed, required"
+  | _ when not (zarith_cmai zarith) ->
+    die "Zarith library installed but no development files found (try installing the -dev package)"
   | _   ->
     let zarith_version_int = List.map int_of_string (numeric_prefix_list zarith_version) in
     if zarith_version_int >= [1;10;0] then