From 565d6c5f2fc89cab3b119308fbe2c0edeff033ce Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Sat, 4 Feb 2017 19:22:11 +0100
Subject: configure: avoid deprecated warnings

---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index 09585e59ee..79c512f8a0 100755
--- a/configure
+++ b/configure
@@ -26,7 +26,7 @@ done
 
 ## We check that $cmd is ok before the real exec $cmd
 
-`$cmd -version > /dev/null 2>&1` && exec $cmd $script "$@"
+`$cmd -version > /dev/null 2>&1` && exec $cmd -w "-3" $script "$@"
 
 ## If we're still here, something is wrong with $cmd
 
-- 
cgit v1.2.3


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(-)

diff --git a/configure.ml b/configure.ml
index 04b04979d9..caef75271c 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