From c3ea4b4c9ace031d70e55326675b63ddce8d9b3c Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 18 Nov 2020 11:57:50 +0100
Subject: [configure] check that zarith dev files are available

---
 configure.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'configure.ml')

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
-- 
cgit v1.2.3