From 6050b44172660a3285a337896baea35b32e58d47 Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Sun, 14 May 2017 12:21:31 +0200 Subject: Ensure that warnings new from ocaml > 4.01 remains silent. Indeed, 8.6 is announced to be compilable with 4.01.0 and it is convenient not seeing warnings about which nothing can be done. Remove deprecation warnings new from ocaml 4.03, as well as warning 52. This is a partial cherry-pick of a77734ad6. --- configure.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'configure.ml') diff --git a/configure.ml b/configure.ml index 04b04979d..caef75271 100644 --- a/configure.ml +++ b/configure.ml @@ -510,6 +510,8 @@ let camltag = match caml_version_list with | x::y::_ -> "OCAML"^x^y | _ -> assert false +let coq_warn_flag = + if caml_version_nums > [4;2;3] then "-w -3-52-56" else "" (** * CamlpX configuration *) @@ -1128,7 +1130,7 @@ let write_makefile f = pr "CAMLHLIB=%S\n\n" camllib; pr "# Caml link command and Caml make top command\n"; pr "# Caml flags\n"; - pr "CAMLFLAGS=-rectypes %s\n" coq_annotate_flag; + pr "CAMLFLAGS=-rectypes %s %s\n" coq_annotate_flag coq_warn_flag; pr "# User compilation flag\n"; pr "USERFLAGS=\n\n"; pr "# Flags for GCC\n"; -- cgit v1.2.3