configure: require ocaml 3.12, we use the ;_ record pattern

facebookarchive · Apr 1, 2011 · e3db0c4 · e3db0c4
1 parent ade19d2
commit e3db0c4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/configure b/configure
@@ -151,9 +151,9 @@ my $error2 = 0;
 #---------------------------------------------------------------------
 $error += 
     check_config("echo \"1;;\\n\" | ocaml |",
-                 "Objective(.*) 3.*",
+                 "Objective(.*) 3.12",
                  "OCaml (the wonderful language) is present.",
-                 "The program ocaml is missing or is not a good version. We need at least 3.11",
+                 "The program ocaml is missing or is not a good version. We need at least 3.12",
                  );
 
 #not really used for now: