Bump up the minimal camlp5 version to 7.06.

This is the first release that contains the type-safe grammar API.

1 files changed, 2 insertions, 2 deletions

diff --git a/configure.ml b/configure.ml
index 39c65683ff..14c1f38a95 100644
--- a/configure.ml
+++ b/configure.ml
@@ -709,9 +709,9 @@ let check_camlp5_version camlp5o =
   let version_line, _ = run ~err:StdOut camlp5o ["-v"] in
   let version = List.nth (string_split ' ' version_line) 2 in
   match numeric_prefix_list version with
-  | major::minor::_ when s2i major > 6 || (s2i major, s2i minor) >= (6,6) ->
+  | major::minor::_ when s2i major > 7 || (s2i major, s2i minor) >= (7,6) ->
     cprintf "You have Camlp5 %s. Good!" version; version
-  | _ -> die "Error: unsupported Camlp5 (version < 6.06 or unrecognized).\n"
+  | _ -> die "Error: unsupported Camlp5 (version < 7.06 or unrecognized).\n"
 
 let config_camlp5 () =
     let camlp5mod = "gramlib" in