diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2016-06-15 14:48:34 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2016-06-17 18:16:11 +0200 |
commit | a8088f565da008d3b1780f38de0ee894e8fd0baa (patch) | |
tree | f03b8d5eb42e69dab608cc6a30a2953283f86fbd /configure.ml | |
parent | 42cbdfccf0c0500935d619dccaa00476690229f8 (diff) |
Set required version of camlp5 to 6.06.
It is already very old (shipped with Debian oldstable) and adds file name
support in locations.
Diffstat (limited to 'configure.ml')
-rw-r--r-- | configure.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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 |