From 9130ea9cbc657cd7adf02830e40a89f6de3953f3 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Sun, 2 Mar 2014 00:17:29 +0100
Subject: Set officially the minimal OCaml requirement to 3.12.1

 Anyway, a few syntactic features of 3.12 were already used here and
 there (e.g. local opening via Foo.(...), or the record shortcut
 { field; ... }). Hence compiling with 3.11 wasn't working anymore.

 Already take advantage of the following 3.12.1 features :
 - "module type of ..." in CArray, CList, CString ...
 - "ocamldep -ml-synonym" : no need anymore to hack the ocamldep output
   via our coqdep to localize the .ml4 modules :-)

 The -ml-synonym option (+ various bugfixes) is the reason for asking
 3.12.1 directly and not just 3.12.0. After all, if debian stable is
 providing 3.12.1, then everybody has it ;-)
---
 configure.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'configure.ml')

diff --git a/configure.ml b/configure.ml
index 1c037269d8..569e6ebd4d 100644
--- a/configure.ml
+++ b/configure.ml
@@ -493,14 +493,14 @@ let caml_version_nums =
          "Is it installed properly?")
 
 let check_caml_version () =
-  if caml_version_nums >= [3;11;2] then
+  if caml_version_nums >= [3;12;1] then
     printf "You have OCaml %s. Good!\n" caml_version
   else
     let () = printf "Your version of OCaml is %s.\n" caml_version in
     if !Prefs.force_caml_version then
       printf "*Warning* Your version of OCaml is outdated.\n"
     else
-      die "You need OCaml 3.11.2 or later."
+      die "You need OCaml 3.12.1 or later."
 
 let _ = check_caml_version ()
 
-- 
cgit v1.2.3