From c1ad8fa3eadba95691248cd5cd9c2e2efbe6e215 Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Mon, 9 Jan 2017 14:38:42 +0100 Subject: Relax required OCaml to 4.02.1. We did not decide precisely what minor version we would support, so relaxing. We document why 4.02.0 is not supported (its use is also discouraged by the OCaml team, see e.g. https://ocaml.org/releases/). --- configure.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'configure.ml') diff --git a/configure.ml b/configure.ml index 8a0d9afd08..d6552687c1 100644 --- a/configure.ml +++ b/configure.ml @@ -487,14 +487,14 @@ let caml_version_nums = "Is it installed properly?") let check_caml_version () = - if caml_version_nums >= [4;2;3] then + if caml_version_nums >= [4;2;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 4.02.3 or later." + die "You need OCaml 4.02.1 or later." let _ = check_caml_version () -- cgit v1.2.3