From a8088f565da008d3b1780f38de0ee894e8fd0baa Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Wed, 15 Jun 2016 14:48:34 +0200 Subject: Set required version of camlp5 to 6.06. It is already very old (shipped with Debian oldstable) and adds file name support in locations. --- configure.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'configure.ml') diff --git a/configure.ml b/configure.ml index 71502058f..ae71066a8 100644 --- a/configure.ml +++ b/configure.ml @@ -537,9 +537,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 string_split '.' version with - | major::minor::_ when s2i major > 5 || (s2i major, s2i minor) >= (5,1) -> + | major::minor::_ when s2i major > 6 || (s2i major, s2i minor) >= (6,6) -> printf "You have Camlp5 %s. Good!\n" version; version - | _ -> die "Error: unsupported Camlp5 (version < 5.01 or unrecognized).\n" + | _ -> die "Error: unsupported Camlp5 (version < 6.06 or unrecognized).\n" let check_caml_version_for_camlp4 () = if caml_version_nums = [4;1;0] && !Prefs.debug && not !Prefs.force_caml_version then -- cgit v1.2.3