From 50266aab0b9d9ba3bede37429bcdc5c2bfdc1159 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 17 Apr 2016 21:55:18 +0200
Subject: Updating configure.ml wrt Coq not compilable with OCaml 4.01.0 in
 debug mode.

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

diff --git a/configure.ml b/configure.ml
index 48bcf34e11..6291de03cb 100644
--- a/configure.ml
+++ b/configure.ml
@@ -520,6 +520,9 @@ let check_caml_version () =
       die ("Your version of OCaml is 4.02.0 which suffers from a bug inducing\n" ^
         "very slow compilation times. If you still want to use it, use \n" ^
         "option -force-caml-version.\n")
+    else if caml_version_nums = [4;1;0] && !Prefs.debug then
+      die ("Your version of OCaml is 4.01.0 which fails to compile Coq in " ^
+        "-debug mode.\nRemove -debug option or use a different version of OCaml.\n")
     else
       printf "You have OCaml %s. Good!\n" caml_version
   else
-- 
cgit v1.2.3