diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-01-09 14:38:42 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-01-09 14:47:06 +0100 |
commit | c1ad8fa3eadba95691248cd5cd9c2e2efbe6e215 (patch) | |
tree | 43aacd4d485e5ae5cf8ab3d8059d7ea86d3d4c2b /configure.ml | |
parent | d7f8b955625b6e5d88e6e78ca133e91b35fca09e (diff) |
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/).
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 8a0d9afd0..d6552687c 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 () |